Module vstd::seq

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§