class

Horn::Expressions::Var

Inherits Horn::Expr < Reference < Object

Constructors

new(name : String)

Instance methods

==(other)

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

hash(hasher)

See Object#hash(hasher)

inspect(io)

name

to_s(io)