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

module Dll