std.silo:std.ast

Union TypeExprAstpub

Source
:union(pub) TypeExprAst
  | ConcreteType Str
  | TypeVar Str
  | AppliedType Str (Vec TypeExprAst)
  | QuotationType (Vec TypeExprAst) (Vec TypeExprAst)
  | RowVarType Str
  | IntLitType AnyInt
Description

Parsed type expression. Variants cover concrete type names, type variables, applied type constructors, quotation types with input/output rows, row variables, and integer literal types used in dependent indexing.

Variants

| ConcreteType Str
| TypeVar Str
| AppliedType Str Vec(TypeExprAst)
| QuotationType Vec(TypeExprAst) Vec(TypeExprAst)
| RowVarType Str
| IntLitType AnyInt