Module creusot_contracts::std::vec

Structs

• Drain
  A draining iterator for Vec<T>.
• IntoIter
  An iterator that moves out of a vector.
• Splice
  A splicing iterator for Vec.
• Vec
  A contiguous growable array type, written as Vec<T>, short for ‘vector’.
• ExtractIfExperimental
  An iterator which uses a closure to determine if an element should be removed.