Up

module Toploop

: sig
#
val getvalue : string -> Obj.t
#
val setvalue : string -> Obj.t -> unit
#
val set_paths : unit -> unit
#
val loop : Format.formatter -> unit
#
val run_script : 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
#
val directive_table : (string, directive_fun) Hashtbl.t
#
val toplevel_env : Env.t Pervasives.ref
#
val initialize_toplevel_env : unit -> unit
#
val print_exception_outcome : Format.formatter -> exn -> unit
#
val execute_phrase : bool -> Format.formatter -> Parsetree.toplevel_phrase -> bool
#
val use_file : Format.formatter -> string -> bool
#
val use_silently : Format.formatter -> string -> bool
#
val mod_use_file : Format.formatter -> string -> bool
#
val eval_path : Env.t -> Path.t -> Obj.t
#
val print_value : Env.t -> Obj.t -> Format.formatter -> Types.type_expr -> unit
#
val print_untyped_exception : Format.formatter -> Obj.t -> unit
#
val install_printer : Path.t -> Types.type_expr -> (Format.formatter -> Obj.t -> unit) -> unit
#
val remove_printer : Path.t -> unit
#
val max_printer_depth : int Pervasives.ref
#
val max_printer_steps : int Pervasives.ref
#
val parse_toplevel_phrase : (Lexing.lexbuf -> Parsetree.toplevel_phrase) Pervasives.ref
#
val parse_use_file : (Lexing.lexbuf -> Parsetree.toplevel_phrase list) Pervasives.ref
#
val print_location : Format.formatter -> Location.t -> unit
#
val print_error : Format.formatter -> Location.t -> unit
#
val print_warning : Location.t -> Format.formatter -> Warnings.t -> unit
#
val input_name : string Pervasives.ref
#
val print_out_value : (Format.formatter -> Outcometree.out_value -> unit) Pervasives.ref
#
val print_out_type : (Format.formatter -> Outcometree.out_type -> unit) Pervasives.ref
#
val print_out_class_type : (Format.formatter -> Outcometree.out_class_type -> unit) Pervasives.ref
#
val print_out_module_type : (Format.formatter -> Outcometree.out_module_type -> unit) Pervasives.ref
#
val print_out_type_extension : (Format.formatter -> Outcometree.out_type_extension -> unit) Pervasives.ref
#
val print_out_sig_item : (Format.formatter -> Outcometree.out_sig_item -> unit) Pervasives.ref
#
val print_out_signature : (Format.formatter -> Outcometree.out_sig_item list -> unit) Pervasives.ref
#
val print_out_phrase : (Format.formatter -> Outcometree.out_phrase -> unit) Pervasives.ref
#
val read_interactive_input : (string -> bytes -> int -> int * bool) Pervasives.ref
#
val toplevel_startup_hook : (unit -> unit) Pervasives.ref
#
val may_trace : bool Pervasives.ref
end