Module vstd::seq

source ·

Macros

  • seq
    Creates a Seq containing the given elements.

Structs

  • Seq
    Seq<A> is a sequence type for specifications. To use a “sequence” in compiled code, use an exec type like vec::Vec that has Seq<A> as its specification type.

Functions