Struct Eq

ast/ast.go:1192–1195

Eq represents an equality (identity constraint) X = Y or X = c or c = X.

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

func (e Eq) isTerm() {}