A CVL function provides basic encapsulation for code reuse in a specification.
The syntax for CVL functions is given by the following EBNF grammar:
function ::= [ "override" ] "function" id [ "(" params ")" ] [ "returns" type ] block
See Basic Syntax for the
id production, Types for the
and Statements for the
This documentation is incomplete. See the old documentation.