out
The keyword is used in conjunction with other keywords to refer to the outgoing direction.
- together with the keyword function it is used to designate parameters that may only be written inside the parameterized function;
- together with the keyword port it is used to designate messages or procedures that a given port may only send.
- together with the keyword signature it is used to designate parameters that may only be written by the called procedure.
Related keywords:
BNF definition of out (sense 1 and 3)
BNF definition of out (sense 2)