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