Skip to main content

TypeMappable

charon_driver0.1.184

In charon_driver::hax

charon_driver::hax

Trait Alias TypeMappable

Source

trait TypeMappable = Any
    + Send
    + Sync;