fact: Definition FriendFinderSig : ADTSig := ADTsignature { Constructor "Init" : unit -> rep, Method "AddPerson" : rep * (FriendFinderSchema#PEOPLE) -> rep * bool, Method "AddCity" : rep * (FriendFinderSchema#CITIES) -> rep * bool, Method "PeopleAround" : rep * string * nat -> rep * (list string), Method "PeopleInCity" : rep * string -> rep * nat }.
imports: Fiat.QueryStructure.Automation.MasterPlan