forked from GitHub/gf-rgl
lexer=ignore
This commit is contained in:
@@ -4,7 +4,7 @@
|
|||||||
concrete PredicEng of Predic = CategoriesEng **
|
concrete PredicEng of Predic = CategoriesEng **
|
||||||
open Prelude, SyntaxEng, DeptypEng in {
|
open Prelude, SyntaxEng, DeptypEng in {
|
||||||
|
|
||||||
flags optimize=all ;
|
flags optimize=all_subs ;
|
||||||
|
|
||||||
lincat
|
lincat
|
||||||
VType, CType = SS ;
|
VType, CType = SS ;
|
||||||
|
|||||||
Reference in New Issue
Block a user