Hardcaml.Flags_vector
module type Cases = sig ... end
module type S = sig ... end
module Make (Cases : Cases) : S with type cases = Cases.t