Template:Ident
From Event-B
Jump to navigationJump to searchUsage
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.