fact: Definition CountingList_RepInv (container : CountingList) := List.length (ccontents container) = clength container.
imports: Fiat.QueryStructure.Implementation.DataStructures.Bags.BagsInterface Coq.Arith.Arith Fiat.Common.List.ListFacts