MacroUtils
internal
MatchesRegex
string
MaxSize
collection
MinSize
collection
macroImpl
Infer
RefineLit
matchesRegexPredicate
StringPredicates
minimalTautology
BooleanInferenceRules0
modusTollens
BooleanInferenceRules0