Module Dynlink

val is_native : bool
val loadfile : string -> unit
val loadfile_private : string -> unit
val adapt_filename : string -> string
val set_allowed_units : string list -> unit
val allow_only : string list -> unit
val prohibit : string list -> unit
val main_program_units : unit -> string list
val public_dynamically_loaded_units : unit -> string list
val all_units : unit -> string list
val allow_unsafe_modules : bool -> unit
type linking_error = private
  1. | Undefined_global of string
  2. | Unavailable_primitive of string
  3. | Uninitialized_global of string
type error = private
  1. | Not_a_bytecode_file of string
  2. | Inconsistent_import of string
  3. | Unavailable_unit of string
  4. | Unsafe_file
  5. | Linking_error of string * linking_error
  6. | Corrupted_interface of string
  7. | Cannot_open_dynamic_library of exn
  8. | Library's_module_initializers_failed of exn
  9. | Inconsistent_implementation of string
  10. | Module_already_loaded of string
  11. | Private_library_cannot_implement_interface of string
exception Error of error
val error_message : error -> string
val unsafe_get_global_value : bytecode_or_asm_symbol:string -> Obj.t option