1 2 3 4 5 6 7 8 9
exception Abort of Source.region * string exception Assert of Source.region * string exception IO of Source.region * string val trace : string -> unit val run_string : string -> bool val run_file : string -> bool val run_stdin : unit -> unit