Struct Ineq

ast/ast.go:1216–1219

Ineq represents an inequality (apartness constraint) X != Y or X != c or c != X.

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

func (e Ineq) isTerm() {}