sig val loadfile : string -> unit val allow_unsafe_modules : bool -> unit val init : unit -> unit val add_interfaces : string list -> string list -> unit val digest_interface : string -> string list -> Digest.t end