Back to all declarations Invariant func(owner .uverse.address, sku string) (posted int64, derived int64, agrees bool) inventory.gno:935 Link Source inventory.gno:935-939 See in code Invariant : func(owner .uverse.address, sku string) (posted int64, derived int64, agrees bool) inventory.gno:935 Source inventory.gno:935-939 See in code
Invariant func(owner .uverse.address, sku string) (posted int64, derived int64, agrees bool) inventory.gno:935 Link Source inventory.gno:935-939 See in code
