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 : 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 : (module TOPDIRS) -> unit

set_topdirs t sets the topdirs implementation to t