copilot-core-3.2: An intermediate representation for Copilot.
Safe HaskellTrustworthy
LanguageHaskell2010

Copilot.Core.External

Documentation

data ExtVar Source #

Constructors

ExtVar 

Fields

externVars :: Spec -> [ExtVar] Source #