Type Alias chalk_integration::lowering::env::ParameterMap
source · pub type ParameterMap = BTreeMap<Identifier, WithKind<ChalkIr, BoundVar>>;
Aliased Type§
struct ParameterMap { /* private fields */ }
pub type ParameterMap = BTreeMap<Identifier, WithKind<ChalkIr, BoundVar>>;
struct ParameterMap { /* private fields */ }