struct SimpleSub::TermLam

Defined in:

simple_sub/term.cr

Constructors

Instance Method Summary

Instance methods inherited from struct SimpleSub::Term

initialize initialize

Constructor methods inherited from struct SimpleSub::Term

new new

Class methods inherited from struct SimpleSub::Term

[](*args) []

Constructor Detail

def self.new(param_name : String, body) #

[View source]

Instance Method Detail

def body : StructRef(Term) #

[View source]
def body=(body : StructRef(Term)) #

[View source]
def param_name : String #

[View source]
def param_name=(param_name : String) #

[View source]
def pretty_print(format : PrettyPrint) #
Description copied from class Object

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.


[View source]