CharPredicates
predicates
CharTypes
types
Closed
Interval
ClosedOpen
Interval
CollectionPredicates
predicates
ConstructorNames
generic
Contains
collection
CollectionPredicates
Count
collection
CollectionPredicates
c
InferMacro
LiteralMatchers
MacroUtils
RefineMacro
char
refined
predicates
types
charMax
MaxInstances
charMin
MinInstances
coflatMapRefine
RefType
RefTypeOps
collection
refined
predicates
combine
Inference
constant
Validate
countValidate
Count
ctorNamesValidate
ConstructorNames