TypeScheme#

class tierkreis.core.types.TypeScheme(variables: dict[str, Kind], constraints: list[Constraint], body: TierkreisType)[source]#

A polymorphic type scheme, defined by a TierkreisType body, outer type variables, and constraints.

Methods

`from_proto`
`to_proto`

Attributes

TypeScheme