fact: Definition BookStoreSig : ADTSig := ADTsignature { Constructor "Init" : rep, Method "PlaceOrder" : rep * Order -> rep * bool, Method "DeleteOrder" : rep * nat -> rep * (list Order), Method "AddBook" : rep * Book -> rep * bool, Method "DeleteBook" : rep * nat -> rep * (list Book), Method "GetTitles" : rep * string -> rep * (list string), Method "NumOrders" : rep * string -> rep * nat }.
imports: Tutorial