Note:

You are viewing a development version of the library. Goto the latest version.

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