Module bound_expression 

Structs

BoundExpression

An Expression that has been type-checked against a Scope.

ExactBoundExpr

A bound-expression wrapper that compares shared tree identity instead of structure.

Enums

BoundKind

The per-variant contents of a BoundExpression, mirroring the logical variants of Expression.