diff options
Diffstat (limited to 'language/l2_parse.ott')
| -rw-r--r-- | language/l2_parse.ott | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/l2_parse.ott b/language/l2_parse.ott index 1da173e1..56152bd1 100644 --- a/language/l2_parse.ott +++ b/language/l2_parse.ott @@ -683,6 +683,7 @@ val_spec :: 'VS_' ::= {{ aux _ l }} % {{ aux _ annot }} {{ auxparam 'a }} | val typschm id :: :: val_spec + | val extern typschm id = string :: :: extern_spec default_typing_spec :: 'DT_' ::= {{ com Default kinding or typing assumption }} |