Skip to main content

TypeMappable

charon_driver::hax::utils::type_map

Trait Alias TypeMappable 

Source 
trait TypeMappable = Any
    + Send
    + Sync;