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