Template:Ident
From Event-B
Revision as of 11:21, 16 December 2008 by imported>Mathieu
Usage
Template use to specify an identifier or a variable.
Example
Variable
chaining_block
must be typed.
Template
{{{1}}}
Template use to specify an identifier or a variable.
Variable
must be typed.