Module Main__.Loader

type prop = {
verbose : bool;
trace : bool;
file : string;
}
val usage_msg : string
val verbose : bool Stdlib.ref
val trace : bool Stdlib.ref
val input_files : string list Stdlib.ref
val anon_fun : string -> unit
val speclist : (string * Stdlib.Arg.spec * string) list
val load : unit -> prop

Loader