Make.1-X
type t
val compare : t -> t -> int
Bags are implemented using Map.Make and therefore require elements to be comparable.
Map.Make