Module Topcommon

val set_paths : unit -> unit
val toplevel_env : Env.t ref
val initialize_toplevel_env : unit -> unit
val record_backtrace : unit -> unit
val max_printer_depth : int ref
val max_printer_steps : int ref
val print_out_value : (Format.formatter -> Outcometree.out_value -> unit) ref
val print_out_type : (Format.formatter -> Outcometree.out_type -> unit) ref
val print_out_class_type : (Format.formatter -> Outcometree.out_class_type -> unit) ref
val print_out_module_type : (Format.formatter -> Outcometree.out_module_type -> unit) ref
val print_out_type_extension : (Format.formatter -> Outcometree.out_type_extension -> unit) ref
val print_out_sig_item : (Format.formatter -> Outcometree.out_sig_item -> unit) ref
val print_out_signature : (Format.formatter -> Outcometree.out_sig_item list -> unit) ref
val print_out_phrase : (Format.formatter -> Outcometree.out_phrase -> unit) ref
exception Undefined_global of string
module type EVAL_BASE = sig ... end
module MakeEvalPrinter (_ : EVAL_BASE) : sig ... end
type directive_fun =
  1. | Directive_none of unit -> unit
  2. | Directive_string of string -> unit
  3. | Directive_int of int -> unit
  4. | Directive_ident of Longident.t -> unit
  5. | Directive_bool of bool -> unit
type directive_info = {
  1. section : string;
  2. doc : string;
}
val add_directive : string -> directive_fun -> directive_info -> unit
val get_directive : string -> directive_fun option
val get_directive_info : string -> directive_info option
val all_directive_names : unit -> string list
val try_run_directive : Format.formatter -> string -> Parsetree.directive_argument option -> bool
val directive_table : (string, directive_fun) Hashtbl.t
  • deprecated
val directive_info_table : (string, directive_info) Hashtbl.t
  • deprecated
val parse_toplevel_phrase : (Lexing.lexbuf -> Parsetree.toplevel_phrase) ref
val parse_use_file : (Lexing.lexbuf -> Parsetree.toplevel_phrase list) ref
val print_location : Format.formatter -> Location.t -> unit
val print_error : Format.formatter -> Location.error -> unit
val print_warning : Location.t -> Format.formatter -> Warnings.t -> unit
val input_name : string ref
val phrase_buffer : Buffer.t
val first_line : bool ref
val got_eof : bool ref
val read_interactive_input : (string -> bytes -> int -> int * bool) ref
val toplevel_startup_hook : (unit -> unit) ref
type event = ..
type event +=
  1. | Startup
  2. | After_setup
val add_hook : (event -> unit) -> unit
val run_hooks : event -> unit
val override_sys_argv : string array -> unit
type evaluation_outcome =
  1. | Result of Obj.t
  2. | Exception of exn
val backtrace : string option ref
val parse_mod_use_file : string -> Lexing.lexbuf -> Parsetree.toplevel_phrase list
val refill_lexbuf : bytes -> int -> int