ocaml-base-compiler 4.14.2

type input =

| Stdin
| File of string
| String of string

val getvalue : string -> Obj.t

val setvalue : string -> Obj.t -> unit

val filename_of_input : input -> string

val set_paths : unit -> unit

val loop : Format.formatter -> unit

val run_script : Format.formatter -> input -> 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 get_directive : string -> directive_fun option

val get_directive_info : string -> directive_info option

val all_directive_names : unit -> string list

val directive_table : (string, directive_fun) Hashtbl.t

deprecated

val directive_info_table : (string, directive_info) Hashtbl.t

deprecated

val toplevel_env : Env.t 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 preprocess_phrase : 
  Format.formatter ->
  Parsetree.toplevel_phrase ->
  Parsetree.toplevel_phrase

val use_input : Format.formatter -> input -> bool

val use_output : Format.formatter -> string -> bool

val use_silently : Format.formatter -> input -> bool

val mod_use_input : Format.formatter -> input -> bool

val use_file : Format.formatter -> string -> bool

val eval_module_path : Env.t -> Path.t -> Obj.t

val eval_value_path : Env.t -> Path.t -> Obj.t

val eval_extension_path : Env.t -> Path.t -> Obj.t

val eval_class_path : Env.t -> Path.t -> Obj.t

val record_backtrace : unit -> unit

val load_file : Format.formatter -> string -> bool

val print_value : Env.t -> Obj.t -> Format.formatter -> Types.type_expr -> unit

val print_untyped_exception : Format.formatter -> 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 ->
  (Format.formatter -> Obj.t -> unit) ->
  unit

val install_generic_printer : 
  Path.t ->
  Path.t ->
  (int ->
    (int -> Obj.t -> Outcometree.out_value, Obj.t -> Outcometree.out_value)
      gen_printer) ->
  unit

val install_generic_printer' : 
  Path.t ->
  Path.t ->
  (Format.formatter -> Obj.t -> unit, Format.formatter -> Obj.t -> unit)
    gen_printer ->
  unit

val remove_printer : Path.t -> unit

val max_printer_depth : int ref

val max_printer_steps : int ref

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 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

val read_interactive_input : (string -> bytes -> int -> int * bool) ref

val toplevel_startup_hook : (unit -> unit) ref

type event = ..

type event +=

| Startup
| After_setup

val add_hook : (event -> unit) -> unit

val run_hooks : event -> unit

val may_trace : bool ref

val override_sys_argv : string array -> unit

package ocaml-base-compiler