class

OccTyping::TermIfIsThenElse

Inherits OccTyping::Term < Reference < Object

Constructors

new(input : OccTyping::Term, type : OccTyping::Type, body : OccTyping::Term, else_body : OccTyping::Term)
Source

Instance methods

body
Source
body=(body : Term)
Source
else_body
Source
else_body=(else_body : Term)
Source
input
Source
input=(input : Term)
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
type
Source
type=(type : Type)
Source