Skip to main content

ExArray

vstd_extra::external::smallvec

Trait ExArray 

Source 
pub trait ExArray {
    type ExternalTraitSpecificationFor: Array;
    type Item;
}
Expand description

Verus declaration for smallvec::Array; only the element type Item is surfaced.

Required Associated Types§

Source

type ExternalTraitSpecificationFor: Array

Source

type Item

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§