Module type Total_map__Enumeration.S_fc

type enumerable_t
include Total_map__.Enumeration_intf.S with type t := enumerable_t
type ('a, 'b) enumeration
type t
type enumeration_witness
val enumeration : (tenumeration_witness) enumeration