Skip to main content

Module trait_decl

charon_lib::ast::items

Module trait_decl 

Source

Structs§

AssocConstId
AssocTypeId
TraitAssocConst
An associated constant in a trait.
TraitAssocTy
An associated type in a trait.
TraitDecl
A trait declaration.
TraitItemName
TraitMethod
A trait method.
TraitMethodId

Enums§

TraitDeclSource
Where the trait comes from.