Module types 

Structs

AdtDecl

A type declaration for an algebraic data type.

AdtParam

A named type parameter for an ADT (e.g. a in List a).

AdtVariant

A single ADT variant with zero or more constructor arguments.

Class

ClassEnv

Instance

Predicate

Scheme

Type

TypeConst

TypeEnv

TypeVar

TypedExpr

Enums

BuiltinTypeId

TypeKind

TypedExprKind

Traits

Types

Functions

collect_adts_in_types

Collect all user-defined ADT constructors referenced by the provided types.

Type Aliases

TypeVarId