Functions
A CVL function provides basic encapsulation for code reuse in a specification.
Syntax
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 type
production,
and Statements for the block
production.
Todo
This documentation is incomplete. See the old documentation.