class

Horn::Expressions::Lambda

Inherits Horn::Expr < Reference < Object

Constructors

new(param : Var, param_type : Type | Nil, body : Expr)

Instance methods

body

bounded_var

children

inspect(io)

param

param_type

param_type=(param_type : Type | Nil)

to_s(io)