fact: Definition CountingList_empty : CountingList := {| clength := 0; ccontents := @nil TItem |}.
imports: Fiat.QueryStructure.Implementation.DataStructures.Bags.BagsInterface Coq.Arith.Arith Fiat.Common.List.ListFacts