Skip to main content

Module trait_impl

charon_lib::ast::items

Module trait_impl 

Source

Structs§

TraitAssocTyImpl
The value of a trait associated type.
TraitImpl
A trait implementation.

Enums§

TraitImplSource
Where the impl comes from.