sig type handle type t = namespaceid val seed_value : t val build_gen : t -> handle val new_value : handle -> t end