Size
collection
StartsWith
string
StringInferenceRules
refined
StringPredicates
refined
show
InferenceRule
Predicate
sizeInference
CollectionInferenceRules
sizePredicate
CollectionPredicates
startsWithInference
StringInferenceRules
startsWithPredicate
StringPredicates
string
refined