fact: Definition MySchema := Query Structure Schema [ relation "Person" has schema <"Age" :: nat, "Name" :: string>; relation "Dog" has schema <"Owner" :: string, "Name" :: string, "Breed" :: string> ] enforcing [].
imports: Fiat.QueryStructure.Specification.Representation.QueryStructureNotations Fiat.QueryStructure.Implementation.ListImplementation ComputationalADT AddCache ADTCache CacheADT