Copilot.Language.Reify
Description
Transforms a Copilot Language specification into a Copilot Core specification.
reify :: Spec' a -> IO Spec Source #