copilot-language-2.1.1: A Haskell-embedded DSL for monitoring hard real-time distributed systems.
Copilot.Language.Reify
Description
Transforms a Copilot Language specification into a Copilot Core specification.
reify :: Spec -> IO SpecSource