Skip to main content

Module types

dada_ir_ast::ast

Module types 

Source

Structs§

AstGenericDecl
type T? (: bounds)? perm T? (: bounds)?
AstPerm
AstTy
AstWhereClause
A where-clause looks like A is shared, A is lent, A is shared + lent, etc.
AstWhereClauses
Looks like where WC1, ... WC2,

Enums§

AstGenericKind
AstGenericTerm
AstPermKind
AstTyKind
AstWhereClauseKind