Copilot.Core.External

Documentation

data ExtVar

Constructors

ExtVar

Fields

• externVarName :: Name
• externVarType :: UType

externVars :: Spec -> [ExtVar]