Method ApplySubst

ast/ast.go:1211–1213

ApplySubst returns the result of applying given substitution to this equality.

(s Subst)

// ApplySubst returns the result of applying given substitution to this equality.
func (e Eq) ApplySubst(s Subst) Term {
	return Eq{e.Left.ApplySubst(s).(BaseTerm), e.Right.ApplySubst(s).(BaseTerm)}
}

// Ineq represents an inequality (apartness constraint) X != Y or X != c or c != X.
type Ineq struct {