
Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: api/rascal/boolean/extracted
Source used for this grammar: Jurgen J. Vinju, Paul Klint, Boolean, 2009–2013 [Explore]
bool, int, real, str), 0 root (—), 4 top (bool, int, real, str), 0 bottom (—).[arbBool], [fromString], [toInt], [toReal], [toString].⟨s⟩, ⟨b⟩ 3.bool ::= [arbBool]::ε
bool ::=
[fromString]::⟨s⟩:stringint ::=
[toInt]::⟨b⟩:booleanreal ::=
[toReal]::⟨b⟩:booleanstr ::=
[toString]::⟨b⟩:boolean