Module 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
val find_primitive : string -> dll_address
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