Dll
val extract_dll_name : string -> string
type dll_mode =
| For_checking
| For_execution
val open_dlls : dll_mode -> string list -> unit
val close_all_dlls : unit -> unit
type dll_address
type primitive_address =
| Prim_loaded of dll_address
| Prim_exists
val find_primitive : string -> primitive_address option
val synchronize_primitive : int -> dll_address -> unit
val add_path : string list -> unit
val remove_path : string list -> unit
val init_compile : bool -> unit
val init_toplevel : string -> unit
val reset : unit -> unit