Template:Ident

From Event-B
Jump to: navigation, search

Usage

Template use to specify an identifier or a variable.

Example

Variable
chaining_block
must be typed.

Template

{{{1}}}