Predicates.Nullarytype t = tval register : string -> t -> unitregister name value register value with a given name. If name was already associated with some other value, then it will be superseded with the new binding.
val find : string -> t optionfind name find a value associated with the given value
val list : unit -> (string * t) listlist () list all bindings