fact: Definition WeatherSig : ADTSig := ADTsignature { Constructor Init : rep, Method AddCell : rep * (WeatherSchema#CELLS) -> rep * bool, Method AddMeasurement : rep * (WeatherSchema#MEASUREMENTS) -> rep * bool, Method CountCells : rep * AreaCode -> rep * nat, Method LocalMax : rep * AreaCode * MeasurementType -> rep * (option Z) }.
imports: Fiat.QueryStructure.Automation.MasterPlan