Crate petr_typecheck 

Structs

Function

FunctionId

The ID type of a function.

ResolvedIntrinsic

TypeChecker

TypeConstraint

TypeContext

TypeVariable

TypeVariant

TypedExpr

Enums

Intrinsic

IntrinsicName

Literal

PetrType

TypeConstraintKind

TypeOrFunctionId

TypedExprKind

Functions

type_check

Type Aliases

TResult

TypeError