-val index_obj: state -> NUri.uri -> state
-val is_equation: NCic.metasenv ->
- NCic.substitution -> NCic.context -> NCic.term -> bool
+val index_obj: #NCic.status -> state -> NUri.uri -> state
+val is_equation:
+ #NCic.status -> NCic.metasenv -> NCic.substitution -> NCic.context ->
+ NCic.term -> bool