Copilot.Compile.SBV.Queue

data Queue a

lookahead

type QueueSize