fact: Definition StocksSig : ADTSig := ADTsignature { Constructor "Init" : rep, Method "AddStock" : rep * (StocksSchema#STOCKS) -> rep * bool, Method "AddTransaction" : rep * (StocksSchema#TRANSACTIONS) -> rep * bool, Method "TotalVolume" : rep * StockCode * Date -> rep * N, Method "MaxPrice" : rep * StockCode * Date -> rep * (option N), Method "TotalActivity" : rep * StockCode * Date -> rep * nat, Method "LargestTransaction" : rep * StockType * Date -> rep * (option N) }.
imports: Fiat.QueryStructure.Automation.MasterPlan