funNamethat takes several arguments (
type2, etc.), and has as its body a single valid Scribble expression (which is also its return value). That expression must be of type
(x + 10)and
(x + 10) * deltaare repeated multiple times in annotations.
(x+10) * deltaabove the smart contract. These functions can then be called by annotations inside the contract.
purefunctions. I.e. they cannot modify any state, but can still access the state variables as shown in the above example.