Define the value to be returned at the end of an
on with a typed
reply ::= "reply" "(" expression ")" ";"
on hello: reply (true);
Note: Reply does not mean “return”, it merely defines the value that is returned when the
onhas finished executing.
replydoes not have to be the final imperative statement, however it must occur exactly once on every path through every sequence statements.