val are_all_occurrences_positive:
subst:NCic.substitution ->
NCic.context -> NUri.uri -> int -> int -> int -> int -> NCic.term -> bool
val are_all_occurrences_positive:
subst:NCic.substitution ->
NCic.context -> NUri.uri -> int -> int -> int -> int -> NCic.term -> bool