| ListValue of value list
type value_type =
- | TermType of int option
+ | TermType of int
| StringType
| NumType
| OptType of value_type
let declaration_of_var = function
| Ast.NumVar s -> s, NumType
| Ast.IdentVar s -> s, StringType
- | Ast.TermVar (s,l) -> s, TermType l
+ | Ast.TermVar (s,(Ast.Self l|Ast.Level l)) -> s, TermType l
| _ -> assert false
let value_of_term = function