(* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
-val mk_elims: #NCic.status -> NCic.obj -> NotationPt.term NotationPt.obj list
+val mk_elims: #NCicEnvironment.status -> NCic.obj -> NotationPt.term NotationPt.obj list
val mk_projections:
- #NCic.status -> NCic.obj -> NotationPt.term NotationPt.obj list
+ #NCicEnvironment.status -> NCic.obj -> NotationPt.term NotationPt.obj list
val ast_of_sort :
NCic.sort -> [> `NCProp of string | `NType of string | `Prop ] * string