copilot-sbv-0.1: A compiler for CoPilot targeting SBV.

Copilot.Compile.SBV.Queue

Description

Implements queues holding stream values.

Documentation

data Queue a Source

Constructors

Queue 

Fields

queue :: [a]
 

lookahead :: (HasSignAndSize a, SymWord a) => DropIdx -> [SBV a] -> SBV QueueSize -> SBV aSource

type QueueSize = DropIdxSource