class ExhaustivenessChecker::Body

Overview

NOTE Don't know what is this for...s

Defined in:

exhaustiveness_checker.cr

Constructors

Instance Method Summary

Constructor Detail

def self.new(bindings : Array(Tuple(String, ExhaustivenessChecker::Variable)), clause_index : Int32) #

[View source]

Instance Method Detail

def bindings : Array(Tuple(String, Variable)) #

[View source]
def clause_index : Int32 #

[View source]