Module Toploop

val getvalue : string -> Stdlib.Obj.t
val setvalue : string -> Stdlib.Obj.t -> unit
val set_paths : unit -> unit
val loop : Stdlib.Format.formatter -> unit
val run_script : Stdlib.Format.formatter -> string -> string array -> bool
type directive_fun =
| Directive_none of unit -> unit
| Directive_string of string -> unit
| Directive_int of int -> unit
| Directive_ident of Longident.t -> unit
| Directive_bool of bool -> unit
type directive_info = {
section : string;
doc : string;
}
val add_directive : string -> directive_fun -> directive_info -> unit
val directive_table : (string, directive_fun) Stdlib.Hashtbl.t
val directive_info_table : (string, directive_info) Stdlib.Hashtbl.t
val toplevel_env : Env.t Stdlib.ref
val initialize_toplevel_env : unit -> unit
val print_exception_outcome : Stdlib.Format.formatter -> exn -> unit
val execute_phrase : bool -> Stdlib.Format.formatter -> Parsetree.toplevel_phrase -> bool
val preprocess_phrase : Stdlib.Format.formatter -> Parsetree.toplevel_phrase -> Parsetree.toplevel_phrase
val use_file : Stdlib.Format.formatter -> string -> bool
val use_silently : Stdlib.Format.formatter -> string -> bool
val mod_use_file : Stdlib.Format.formatter -> string -> bool
val eval_module_path : Env.t -> Path.t -> Stdlib.Obj.t
val eval_value_path : Env.t -> Path.t -> Stdlib.Obj.t
val eval_extension_path : Env.t -> Path.t -> Stdlib.Obj.t
val eval_class_path : Env.t -> Path.t -> Stdlib.Obj.t
val record_backtrace : unit -> unit
val print_value : Env.t -> Stdlib.Obj.t -> Stdlib.Format.formatter -> Types.type_expr -> unit
val print_untyped_exception : Stdlib.Format.formatter -> Stdlib.Obj.t -> unit
type ('a, 'b) gen_printer =
| Zero of 'b
| Succ of 'a -> ('a, 'b) gen_printer
val install_printer : Path.t -> Types.type_expr -> (Stdlib.Format.formatter -> Stdlib.Obj.t -> unit) -> unit
val install_generic_printer : Path.t -> Path.t -> (int -> (int -> Stdlib.Obj.t -> Outcometree.out_value, Stdlib.Obj.t -> Outcometree.out_value) gen_printer) -> unit
val install_generic_printer' : Path.t -> Path.t -> (Stdlib.Format.formatter -> Stdlib.Obj.t -> unit, Stdlib.Format.formatter -> Stdlib.Obj.t -> unit) gen_printer -> unit
val remove_printer : Path.t -> unit
val max_printer_depth : int Stdlib.ref
val max_printer_steps : int Stdlib.ref
val parse_toplevel_phrase : (Stdlib.Lexing.lexbuf -> Parsetree.toplevel_phrase) Stdlib.ref
val parse_use_file : (Stdlib.Lexing.lexbuf -> Parsetree.toplevel_phrase list) Stdlib.ref
val print_location : Stdlib.Format.formatter -> Location.t -> unit
val print_error : Stdlib.Format.formatter -> Location.error -> unit
val print_warning : Location.t -> Stdlib.Format.formatter -> Warnings.t -> unit
val input_name : string Stdlib.ref
val print_out_value : (Stdlib.Format.formatter -> Outcometree.out_value -> unit) Stdlib.ref
val print_out_type : (Stdlib.Format.formatter -> Outcometree.out_type -> unit) Stdlib.ref
val print_out_class_type : (Stdlib.Format.formatter -> Outcometree.out_class_type -> unit) Stdlib.ref
val print_out_module_type : (Stdlib.Format.formatter -> Outcometree.out_module_type -> unit) Stdlib.ref
val print_out_type_extension : (Stdlib.Format.formatter -> Outcometree.out_type_extension -> unit) Stdlib.ref
val print_out_sig_item : (Stdlib.Format.formatter -> Outcometree.out_sig_item -> unit) Stdlib.ref
val print_out_signature : (Stdlib.Format.formatter -> Outcometree.out_sig_item list -> unit) Stdlib.ref
val print_out_phrase : (Stdlib.Format.formatter -> Outcometree.out_phrase -> unit) Stdlib.ref
val read_interactive_input : (string -> bytes -> int -> int * bool) Stdlib.ref
val toplevel_startup_hook : (unit -> unit) Stdlib.ref
type event = ..
type event += | Startup| After_setup
val add_hook : (event -> unit) -> unit
val run_hooks : event -> unit
val may_trace : bool Stdlib.ref
val override_sys_argv : string array -> unit