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

Copilot.Compile.SBV

Documentation

compile :: Params -> Spec -> IO ()Source

module Copilot.Compile.SBV.Params