copilot-c99-2.2.0: A compiler for Copilot targeting C99.
Copilot.Compile.C99.Test.CheckSpec
checkSpec :: Int -> Spec -> IO Bool Source