#
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
| | | |
| | | |
| | | |
#
| Corrupted_interface of string
| | | |
#
| File_not_found of string
| | | |
#
| Cannot_open_dll of string
| | | |
#
| Inconsistent_implementation of string
| | | |
#
val error_message :
error -> string
#
val digest_interface : string
-> string list
-> Digest.
t