Method ApplySubstBase

ast/ast.go:1187–1189

ApplySubstBase simply returns this constant, for any substitution.

(s Subst)

// ApplySubstBase simply returns this constant, for any substitution.
func (a ApplyFn) ApplySubstBase(s Subst) BaseTerm {
	return a.ApplySubst(s).(BaseTerm)
}

// Eq represents an equality (identity constraint) X = Y or X = c or c = X.
type Eq struct {