let let_defs = Grammar.Entry.create level2_ast_grammar "let_defs"
let level2_meta = Grammar.Entry.create level2_meta_grammar "level2_meta"
-let return_term loc term = ()
-
let int_of_string s =
try
Pervasives.int_of_string s
sort: [
[ "Prop" -> `Prop
| "Set" -> `Set
- | "Type" -> `Type
+ | "Type" -> `Type (CicUniv.fresh ())
| "CProp" -> `CProp
]
];