class

OccTyping::TermVar

Inherits OccTyping::Term < Reference < Object

Constructors

new(name : String)
Source

Instance methods

name
Source
name=(name : String)
Source
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.

Source