fact: Definition CodeLookupSpec : ADT CodeLookupSig := QueryADTRep CodeLookupSchema { Def Constructor "Init" (_ : unit) : rep := empty, update "AddClass" (r : rep, class : CodeLookupSchema#CLASSES) : bool := Insert class into r!CLASSES, update "AddMethod" (r : rep, method : CodeLookupSchema#METHODS) : bool := Insert method into r!METHODS, update "AddRelation" (r : rep, rel : CodeLookupSchema#CLASSES_METHODS) : bool := Insert rel into r!CLASSES_METHODS }.
imports: Fiat.QueryStructure.Automation.MasterPlan