Module Total_map.Enumeration

type ('a, 'witness) t = private {
  1. all : 'a list;
}
module type S = sig ... end
module type S_fc = sig ... end
module Make (T : sig ... end) : sig ... end
val make : all:'a list -> (module S_fc with type enumerable_t = 'a) @@ portable