copilot-sbv-2.1.1: A compiler for CoPilot targeting SBV.
Copilot.Compile.SBV.Copilot2SBV
c2sExpr :: Inputs -> Expr a -> SBV aSource
data Inputs Source
Constructors
Fields
type Ext = (Name, ExtInput)Source
type ExtQue = (Id, QueInput)Source
data ExtInput Source
data QueInput Source
data QueueIn a Source