class

ExhaustivenessChecker::NonEmptyList

Inherits Reference < Object

Constructors

new(decision : Decision, first : Variable, rest : Variable)
Source

Instance methods

decision
first
rest