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