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