Type Alias chalk_integration::lowering::env::ParameterMap

source ·

pub type ParameterMap = BTreeMap<Identifier, WithKind<ChalkIr, BoundVar>>;

Aliased Type§

struct ParameterMap {
    root: Option<NodeRef<Owned, Atom<EmptyStaticAtomSet>, WithKind<ChalkIr, BoundVar>, LeafOrInternal>>,
    length: usize,
    pub(super) alloc: ManuallyDrop<Global>,
    _marker: PhantomData<Box<(Atom<EmptyStaticAtomSet>, WithKind<ChalkIr, BoundVar>)>>,
}

Fields§

§root: Option<NodeRef<Owned, Atom<EmptyStaticAtomSet>, WithKind<ChalkIr, BoundVar>, LeafOrInternal>>§length: usize§alloc: ManuallyDrop<Global>§_marker: PhantomData<Box<(Atom<EmptyStaticAtomSet>, WithKind<ChalkIr, BoundVar>)>>