strict
Creates naive unification strategy, with the given context, that checks Terms identity through their Term.equals methods
Creates naive unification strategy, that checks Terms identity through their Term.equals methods
Creates naive unification strategy, with the given context, that checks Terms identity through their Term.equals methods
Creates naive unification strategy, that checks Terms identity through their Term.equals methods