Skip to main content

Module seq

creusot_std::logic

Module seq 

Source

Structs§

Seq
A type of sequence usable in pearlite and ghost! blocks.
SeqIter
An owning iterator for Seq.
SeqIterRef
An iterator over references in a Seq.

Functions§

flat_map_push_back
logic(open)
flat_map_singleton

logic(open)