| Safe Haskell | Trustworthy |
|---|---|
| Language | Haskell2010 |
Copilot.Core.External
Description
Internal Copilot Core representation of Copilot externs.
Synopsis
- data ExtVar = ExtVar {}
- externVars :: Spec -> [ExtVar]
Documentation
An extern variable declaration, together with the type of the underlying extern.
Constructors
| ExtVar | |
Fields
| |
externVars :: Spec -> [ExtVar] Source #
List of all externs used in a specification.