copilot-core-3.1: An intermediate representation for Copilot.
Copilot.Core.External
data ExtVar Source #
Constructors
Fields
externVars :: Spec -> [ExtVar] Source #