charon_lib::common

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§

Mapper

Trait Aliases§

Mappable