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