sbt
Represents a completion.
Represents a set of completions.
Represents a finite upper bound.
Represents unbounded.