class

Horn::Expressions::Not

Inherits Horn::Expr < Reference < Object

Constructors

new(expr : Expr)
Source

Instance methods

==(other)

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

Source
children
Source
expr
Source
hash(hasher)

See Object#hash(hasher)

Source
inspect(io)
Source
to_s(io)
Source