fact: Definition AlbumSig : ADTSig := ADTsignature { Constructor "Init" : rep, Method "AddPhoto" : rep * (AlbumSchema#PHOTOS) -> rep * bool, Method "AddEvent" : rep * (AlbumSchema#EVENTS) -> rep * bool, Method "PhotosByDateRange" : rep * nat * nat -> rep * (list (AlbumSchema#PHOTOS)), Method "PhotosByPersons" : rep * (list string) -> rep * (list (AlbumSchema#PHOTOS)) }.
imports: Fiat.QueryStructure.Automation.MasterPlan