Module Finite.Element

type 'a t = 'a element
val of_int : 'a set -> int -> 'a t
val to_int : 'a t -> int
val iter : 'a set -> ('a t -> unit) -> unit
val rev_iter : 'a set -> ('a t -> unit) -> unit
val all_elements : 'a set -> 'a t array