Module erg_compiler::ty::free

Structs

• Free

Enums

• Constraint
  Represents constraints on type variables and type parameters.
• FreeKind

Constants

• GENERIC_LEVEL
  HACK: see doc/compiler/inference.md for details

Traits

• CanbeFree
• HasLevel

Type Aliases

• FreeTyParam
• FreeTyVar
• Id
• Level