Module lark_ty::declaration

A type family where we preserve what the user wrote in all cases. We do not support inference and bases and things may map to bound variables from generic declarations.

Structs

Base
Declaration
DeclarationTables
Perm

Enums

DeclaredPermKind

For now, we only support own T in declarations.