sig   val is_native : bool   val loadfile : string -> unit   val loadfile_private : string -> unit   val adapt_filename : string -> string   val allow_only : string list -> unit   val prohibit : string list -> unit   val default_available_units : unit -> unit   val allow_unsafe_modules : bool -> 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 init : unit -> unit   type linking_error =       Undefined_global of string     | Unavailable_primitive of string     | Uninitialized_global of string   type error =       Not_a_bytecode_file of string     | Inconsistent_import of string     | Unavailable_unit of string     | Unsafe_file     | Linking_error of string * Dynlink.linking_error     | Corrupted_interface of string     | File_not_found of string     | Cannot_open_dll of string     | Inconsistent_implementation of string   exception Error of Dynlink.error   val error_message : Dynlink.error -> string   val digest_interface : string -> string list -> Digest.t end