Skip to main content

TypeMappable

charon_driver0.1.184

In charon_driver::hax::rustc

charon_driver::hax::rustc

Trait Alias TypeMappable

Source

trait TypeMappable = Any
    + Send
    + Sync;