Size
collection
StartsWith
string
Subtype
generic
Supertype
generic
show
InferenceRule
Predicate
string
refined
util