| Type/Module | Description |
Type used in pattern matching to allow for wildcard type matching. See also Quote.any and Quote.withType. |
|
Facilitates the use of inline type parameters. For non-inline use cases, refer to TypeTemplate.create. |
|
A type that captures the variable to which it's let-bound within an expression. Typically, this type would be inherited from, and when let-bound in an expression,
the actual value would be evaluated and substituted in the body of the let-binding. The body is then expanded and passed to the |
|