Module type Enumeration.S_fc
include S with type t := enumerable_t
val enumeration : (t, enumeration_witness) enumeration
Enumeration.S_fc
include S with type t := enumerable_t
val enumeration : (t, enumeration_witness) enumeration