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