3.3.4 Variable actions

Each variable action is statically bound to a variable. A read action takes no input and produces exactly one output, which is the value of the associated variable. A write action usually takes one input as the new value of the variable and rewrites it, with a special case that an insert action may take one more input as the insertion point where the new value is to be inserted into the variable (if it is a set or a list).