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