class

OccTyping::TermApply

Inherits OccTyping::Term < Reference < Object

Constructors

arg

arg=(arg : Term)

fn=(fn : Term)

pretty_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.