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
+ subst:NCic.substitution -> NCic.context -> int -> int -> NCic.term -> bool