context

open override val context: <ERROR CLASS>

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