class

Horn::Expressions::Eq

Inherits Horn::Expr < Reference < Object

Constructors

new(left : Expr, right : Expr)

Instance methods

==(other)

Returns false (other can only be a Value here).

children

hash(hasher)

See Object#hash(hasher)

inspect(io)

left

right

to_s(io)