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⟩:string
int ::=
[toInt]::⟨b⟩:boolean
real ::=
[toReal]::⟨b⟩:boolean
str ::=
[toString]::⟨b⟩:boolean