class

Horn::Expressions::And

Inherits Horn::Expr < Reference < Object

Constructors

new(left : Expr, right : Expr)

Class methods

from_list(list : Array(Expr))

Instance methods

children

inspect(io)

left

right

to_s(io)