fact: Definition MySig : ADTSig := ADTsignature { "Empty" : unit → rep, "AddDog" : rep × Dog → rep × bool, "YoungOwners'Breeds" : rep × nat → rep × list string, "BreedPopulation" : rep × string → rep × nat }.
imports: Fiat.QueryStructure.Specification.Representation.QueryStructureNotations Fiat.QueryStructure.Implementation.ListImplementation ComputationalADT AddCache ADTCache CacheADT