class OccTyping::TypeBase

Defined in:

occ_typing/type.cr

Constant Summary

BOOL = TypeBase.new("Bool")
INT = TypeBase.new("Int")

Constructors

Instance Method Summary

Class methods inherited from class OccTyping::Type

[](*args) []

Constructor Detail

def self.new(name : String) #

[View source]

Instance Method Detail

def name : String #

[View source]
def name=(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]