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