Skip to main content

Module type_map

charon_driver::hax::utils

Module type_map 

Source

Structs§

TypeMap
A map that maps types to values in a generic manner: we store for each type T a value of type M::Value<T>.

Traits§

TypeMapper
Defines a mapping from types to types.

Trait Aliases§

TypeMappable