The context type of all bindings in the set.
The argument type of all bindings in the set.
The provided type of all bindings in the set.