module G = Options
module N = Layer
module T = Txt
-
+
+IFDEF PARSER THEN
let _ = Parsing.set_trace !G.debug_parser
+END
%}
%token <int> IX
%token <string> ID STR
| sort CM sorts { $1 :: $3 }
;
layer:
- | { N.infinite }
+ | { N.infinity }
| CT IX { N.finite $2 }
;