copilot-sbv-2.1.1: A compiler for CoPilot targeting SBV.
Copilot.Compile.SBV.Queue
Description
Implements queues holding stream values.
data Queue a Source
Constructors
Fields
lookahead :: SymWord a => DropIdx -> [SBV a] -> SBV QueueSize -> SBV aSource
type QueueSize = DropIdxSource