class

Horn::Expressions::Forall

Inherits Horn::Expr < Reference < Object

Constructors

new(var : Var, var_type : Type, expr : Expr)

Instance methods

bounded_var

children

expr

inspect(io)

to_s(io)

var

var_type