- readable var _n_base: nullable $baseprod
- readable var _n_eof: EOF
- init(
- n_base: nullable $baseprod,
- n_eof: EOF)
- do
- _n_base = n_base
- _n_eof = n_eof
- end
-
+ var _n_base: nullable $baseprod
+ fun n_base: nullable $baseprod do return _n_base
+ fun n_base=(n_base: nullable $baseprod_ do _n_base = n_base
+ var _n_eof: EOF
+ fun n_eof: EOF do return _n_eof
+ fun n_eof=(n_eof: EOF) do _n_eof = n_eof
+ init(
+ n_base: nullable $baseprod,
+ n_eof: EOF)
+ do
+ _n_base = n_base
+ _n_eof = n_eof
+ end