Re-exports§
pub use crate::state::*;
Structs§
- TypeMap
- A map that maps types to values in a generic manner: we store for each type
T
a value of typeM::Value<T>
.
Traits§
- HasParam
Env - SExpect
- Subst
Binder - Type
Mapper - Defines a mapping from types to types.
Functions§
- get_
closest_ parent_ type - Gets the closest ancestor of
id
that is the id of a type. - translate_
span