context

open override val context: Substitution
Content copied to clipboard

The context (in terms of already present bindings) in which the unification is performed