Trait vstd::std_specs::core::ExAllocator

source · 
pub trait ExAllocator {
    type ExternalTraitSpecificationFor: Allocator;
}

Required Associated Types§

source

type ExternalTraitSpecificationFor: Allocator

Implementors§