(* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
val normalize:
- #NCic.status -> ?delta:int -> subst:NCic.substitution -> NCic.context ->
+ #NCicEnvironment.status -> ?delta:int -> subst:NCic.substitution -> NCic.context ->
NCic.term -> NCic.term