copilot-core-3.1: An intermediate representation for Copilot.

Safe HaskellTrustworthy
LanguageHaskell2010

Copilot.Core.External

Documentation

data ExtVar Source #

Constructors

ExtVar 

Fields

externVars :: Spec -> [ExtVar] Source #