equal
deleted
inserted
replaced
149 |
149 |
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_DECL = "const_decl" |
|
155 val CONST = "constant" |
154 val CONST = "constant" |
156 val FACT_DECL = "fact_decl" |
|
157 val FACT = "fact" |
155 val FACT = "fact" |
158 val DYNAMIC_FACT = "dynamic_fact" |
156 val DYNAMIC_FACT = "dynamic_fact" |
159 val LOCAL_FACT_DECL = "local_fact_decl" |
|
160 val LOCAL_FACT = "local_fact" |
157 val LOCAL_FACT = "local_fact" |
161 |
158 |
162 |
159 |
163 /* inner syntax */ |
160 /* inner syntax */ |
164 |
161 |