Module Shredded_store_sigs.Shredded_Basetypes.Eqnameid_Generator

module Eqnameid_Generator: Shredded_store_sigs.Generator  with type t = eqnameid

type handle 

type t 

val seed_value : t

val build_gen : t -> handle

val new_value : handle -> t