context

abstract val context: Substitution
Content copied to clipboard

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