class OccTyping::TermIfIsThenElse

Defined in:

occ_typing/term.cr

Constructors

Instance Method Summary

Class methods inherited from class OccTyping::Term

[](*args) []

Constructor Detail

def self.new(input : OccTyping::Term, type : OccTyping::Type, body : OccTyping::Term, else_body : OccTyping::Term) #

[View source]

Instance Method Detail

def body : Term #

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

[View source]
def else_body : Term #

[View source]
def else_body=(else_body : Term) #

[View source]
def input : Term #

[View source]
def input=(input : Term) #

[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]
def type : Type #

[View source]
def type=(type : Type) #

[View source]