SimpleSub::TermLam
Inherits SimpleSub::Term < Struct < Value < Object
Constructors
new(param_name : String, body)
SourceInstance methods
body
Sourcebody=(body : StructRef(Term))
Sourceparam_name
Sourceparam_name=(param_name : String)
Sourcepretty_print(format : PrettyPrint)
Pretty prints self into the given printer.
By default appends a text that is the result of invoking
#inspect on self. Subclasses should override
for custom pretty printing.