Module Indexing.Gensym

Parameters

Signature

type n
val n : n cardinal
val fresh : unit -> n index