module Defaults: sig .. end
sig
end
val set_prelude : string -> unit
string -> unit
val set_filename_prefix : string -> unit
val set_required_files : string list -> unit
string list -> unit
val set_verbosity : bool -> unit
bool -> unit
val set_t1disasm : string option -> unit
string option -> unit