exception AssertFailure of string Lazy.t;;
val unify :
- NCicUnifHint.db ->
+ #NRstatus.status ->
+ ?test_eq_only:bool -> (* default: false *)
NCic.metasenv -> NCic.substitution -> NCic.context ->
NCic.term -> NCic.term ->
NCic.metasenv * NCic.substitution