Module Total_map__Enumeration.Make
Parameters
T : sig ... end
Signature
val enumeration : (t, enumeration_witness) enumeration
Total_map__Enumeration.Make
T : sig ... end
val enumeration : (t, enumeration_witness) enumeration