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