diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.ott | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/language/l2.ott b/language/l2.ott index 6963d8bd..76fc0c77 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -9,7 +9,7 @@ indexvar n , m , i , j ::= metavar num,numZero,numOne ::= {{ phantom }} {{ lex numeric }} - {{ ocaml int }} + {{ ocaml big_int }} {{ hol num }} {{ lem integer }} {{ com Numeric literals }} @@ -58,6 +58,8 @@ metavar real ::= embed {{ ocaml +open Big_int + type text = string type l = Parse_ast.l |