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