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

Copilot.Compile.SBV.Common

Documentation

mkTriggerArgIdx :: [a] -> [(Int, a)]Source