Skip to main content

Module type_map

charon_lib::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§

Mappable
Mapper