copilot-language-4.0: A Haskell-embedded DSL for monitoring hard real-time distributed systems.
Safe HaskellSafe
LanguageHaskell2010

Copilot.Language.Reify

Description

Transform a Copilot Language specification into a Copilot Core specification.

Synopsis

Documentation

reify :: Spec' a -> IO Spec Source #

Transform a Copilot Language specification into a Copilot Core specification.