val are_all_occurrences_positive:
subst:NCic.substitution ->
NCic.context -> NUri.uri -> int -> int -> int -> int -> NCic.term -> bool
+
+val does_not_occur :
+ subst:NCic.substitution ->
+ ('a * NCic.context_entry) list -> int -> int -> NCic.term -> bool