Module Total_map__Enumeration
module type S = Total_map__.Enumeration_intf.S with type ('a, 'witness) enumeration := ('a, 'witness) t
module type S_fc = Total_map__.Enumeration_intf.S_fc with type ('a, 'witness) enumeration := ('a, 'witness) t
val make : all:'a list -> (module S_fc with type enumerable_t = 'a)