Module type Enumeration_intf.S_fc

type enumerable_t
include S with type t := enumerable_t
type ('a, 'b) enumeration
type t
type enumeration_witness
val enumeration : (tenumeration_witness) enumeration