sig val init : unit -> unit val loadfile : string -> unit val loadfile_private : string -> unit val add_interfaces : string list -> string list -> unit val add_available_units : (string * Digest.t) list -> unit val clear_available_units : unit -> unit val allow_unsafe_modules : bool -> unit type linking_error = Undefined_globalof string |Unavailable_primitiveof string |Uninitialized_globalof string and error = Not_a_bytecode_fileof string |Inconsistent_importof string |Unavailable_unitof string |Unsafe_file |Linking_errorof string * Dynlink.linking_error |Corrupted_interfaceof string |File_not_foundof string |Cannot_open_dllof string exceptionErrorofDynlink.error val error_message : Dynlink.error -> string val digest_interface : string -> string list ->Digest.t