Expand description

See README.md.

Structs

Enums

  • Represents a constraint that influences the inference process.
  • Describes the things that some GenericKind value G is known to outlive. Each variant of VerifyBound can be thought of as a function:

Type Aliases