Indexing.Index
type 'n t = 'n index
val of_int : 'n cardinal -> int -> 'n index
val to_int : 'n index -> int
val iter : 'n cardinal -> ('n index -> unit) -> unit
val rev_iter : 'n cardinal -> ('n index -> unit) -> unit
exception End_of_set
val enumerate : 'n cardinal -> unit -> 'n index