Module Private.Top

Abstracts away the OCaml Toploop API.

Toplevel directives

val add_inc : string -> ( unit, string ) Stdlib.result

add_inc dir adds dir to the include path.

val rem_inc : string -> ( unit, string ) Stdlib.result

rem_inc dir removes dir from the include path.

val load_ml : string -> ( unit, string ) Stdlib.result

load_ml ml loads the source file ml.

val load_obj : string -> ( unit, string ) Stdlib.result

load_obj obj loads the object file obj.

val is_nat : unit -> bool

is_nat () is true if the current toplevel implementation is ocamlnat.

Topdirs implementations

module type TOPDIRS = sig ... end

The type for Topdir module implementations.

val set_topdirs : is_nat:bool -> (module TOPDIRS) -> unit

set_topdirs ~is_nat t sets the topdirs implementation to t and indicates with is_nat if this ocamlnat's implementation.