sig   val default_filename : OASISTypes.host_filename   val load : unit -> (OASISTypes.name * string) list   val register : OASISTypes.name -> string -> unit   val unregister : OASISTypes.name -> string -> unit   val filter : OASISTypes.name list -> (OASISTypes.name * string) list   val exists : OASISTypes.name -> string -> bool end