type bag = string
[@@deriving eq, ord, show]
type contents = (bag * int) list
type rule = bag * contents
type rules = rule list