Data.SBV.Internals

Running symbolic programs manually

data Result

data SBVRunMode

runSymbolic

runSymbolic'

Other internal structures useful for low-level programming

data SBV a

slet

data CW

data Kind

data CWVal

data AlgReal

mkConstCW

genVar

genVar_

Compilation to C

compileToC'

compileToCLib'

data CgPgmBundle

data CgPgmKind