Module Dynlink_wrapperSource

Sourceexception Error of Dynlink.error
Sourceval loadfile : string -> unit
Sourceval error_message : Dynlink.error -> string
Sourceval allow_unsafe_modules : bool -> unit
Sourceval prohibit : string list -> unit
Sourceval is_native : bool