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