Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
Deprecated: This module is deprecated in Copilot 3.10.
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.
externVars :: Spec -> [ExtVar] Source #
List of all externs used in a specification.