charon_lib::common

Module type_map

source

Structs§

  • 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§

Trait Aliases§