Module DriverSource

Sourceval main : unit -> unit

Main program entry point, including command-line parsing and return code

Sourcemodule Passes : sig ... end

Compiler passes

Sourcemodule Commands : sig ... end

Helper functions used by top-level commands

Various helpers

Sourceval modname_of_file : string -> string

API available to plugins for their own registration

Sourcemodule Plugin : sig ... end