fact: Definition CodeLookupSig : ADTSig := ADTsignature { Constructor "Init" : unit -> rep, Method "AddClass" : rep x (CodeLookupSchema#CLASSES) -> rep x bool, Method "AddMethod" : rep x (CodeLookupSchema#METHODS) -> rep x bool, Method "AddRelation" : rep x (CodeLookupSchema#CLASSES_METHODS) -> rep x bool }.
imports: Fiat.QueryStructure.Automation.MasterPlan