alias
ExhaustivenessChecker::Term
Alias Definition
ExhaustivenessChecker::TEmptyList | ExhaustivenessChecker::TInfinite | ExhaustivenessChecker::TList | ExhaustivenessChecker::TRecord | ExhaustivenessChecker::TTuple | ExhaustivenessChecker::TVariant