diff options
Diffstat (limited to 'src/www/gfse/gf_abs.js')
| -rw-r--r-- | src/www/gfse/gf_abs.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/www/gfse/gf_abs.js b/src/www/gfse/gf_abs.js index a66af812e..a234db753 100644 --- a/src/www/gfse/gf_abs.js +++ b/src/www/gfse/gf_abs.js @@ -9,6 +9,7 @@ type FunId = Id -- function name type Type = [Cat] -- [Cat_1,...,Cat_n] means Cat_1 -> ... -> Cat_n type Grammar = { basename: ModId, + comment: String, extends: [ModId], -- in 1-to-1 correspondence with uextends uextends: [UniqueId], -- added 2012-10-16 abstract: Abstract, |