equal
deleted
inserted
replaced
150 val TCLASS = "tclass" |
150 val TCLASS = "tclass" |
151 val TYCON = "tycon" |
151 val TYCON = "tycon" |
152 val FIXED_DECL = "fixed_decl" |
152 val FIXED_DECL = "fixed_decl" |
153 val FIXED = "fixed" |
153 val FIXED = "fixed" |
154 val CONST = "constant" |
154 val CONST = "constant" |
155 val FACT = "fact" |
|
156 val DYNAMIC_FACT = "dynamic_fact" |
155 val DYNAMIC_FACT = "dynamic_fact" |
157 val LOCAL_FACT = "local_fact" |
|
158 |
156 |
159 |
157 |
160 /* inner syntax */ |
158 /* inner syntax */ |
161 |
159 |
162 val TFREE = "tfree" |
160 val TFREE = "tfree" |