class ExhaustivenessChecker::Variable

Overview

Represents a variable. A variable is used to match against different patterns and to track cases.

Defined in:

exhaustiveness_checker.cr

Constructors

Instance Method Summary

Constructor Detail

def self.new(id : Int32, type : ExhaustivenessChecker::Type | ExhaustivenessChecker::TypeVariable) #

[View source]

Instance Method Detail

def id : Int32 #

[View source]
def type : Checkable #

[View source]