Skip to main content

TypeMapper

charon_driver::hax

Trait TypeMapper 

Source 
pub trait TypeMapper {
    type Value<T: TypeMappable>: TypeMappable;
}
Expand description

Defines a mapping from types to types.

Required Associated Types§

Source

type Value<T: TypeMappable>: TypeMappable

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§