copilot-sbv-2.1.2: A compiler for CoPilot targeting SBV.
Copilot.Compile.SBV.Copilot2SBV
c2sExpr :: Inputs -> Expr a -> SBV a Source
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