class

ExhaustivenessChecker::Case

Inherits Reference < Object

TODO: Write description...

Constructors

new(constructor : ExhaustivenessChecker::CTuple | ExhaustivenessChecker::CValue | ExhaustivenessChecker::CVariant, arguments : Array(ExhaustivenessChecker::Variable), body : ExhaustivenessChecker::Failure | ExhaustivenessChecker::Guard | ExhaustivenessChecker::List | ExhaustivenessChecker::Success | ExhaustivenessChecker::Switch)

Instance methods

arguments

body

constructor