Module type Fix.FINITE_TYPE

A type whose elements can be enumerated.

type t
val foreach : (t -> unit) -> unit