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