Skip to content
Object 01e6070b…1a9591:50
state
Back to all declarations
Invariant
func(owner .uverse.address, id uint64) (booked int64, derived int64, agrees bool)
assets.gno:810
Source
assets.gno:810-817
See in code
Invariant
:
func(owner .uverse.address, id uint64) (booked int64, derived int64, agrees bool)
assets.gno:810