Skip to main content

Module type_decl

charon_lib::ast::items

Module type_decl 

Source

Structs§

ClosureInfo
Additional information for closures.
Field
FieldId
TypeDecl
A type declaration.
Variant
VariantId

Enums§

ClosureKind
PtrMetadata
The metadata stored in a pointer. That’s the information stored in pointers alongside their address. It’s empty for Sized types, and interesting for unsized aka dynamically-sized types.
TypeDeclKind
TypeSource
Where a given type came from.
VTableField