fact: Definition MessagesSig : ADTSig := ADTsignature { Constructor "Init" : rep, Method "AddMessage" : rep * (TupleDef MessagesSchema MESSAGES) -> rep * bool, Method "AddContact" : rep * (TupleDef MessagesSchema CONTACTS) -> rep * bool, Method "ContactMessages" : rep * string -> rep * (list MessageT), Method "RelevantMessages" : rep * (list string) -> rep * (list MessageT) }.
imports: Fiat.QueryStructure.Automation.MasterPlan