Documentation
Complexity
.
Tactic
.
Stateful
.
Init
Search
return to top
source
Imports
Aesop
Init
Complexity.Init
Imported by
Stateful contract rule set
#
Main definitions
#
Stateful
: Aesop rules for semantic and operation-cost contracts.