Up

module Dll

: sig
#
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
end