ivory-0.1.0.0: src/Ivory/Language/Const.hs

module Ivory.Language.Const where

import Ivory.Language.Type
import qualified Ivory.Language.Syntax as AST

-- Extern constants ------------------------------------------------------------

-- | Import and externally defined constant by providing a global name.
extern :: IvoryExpr t => AST.Sym -> t
extern = wrapExpr . AST.ExpSym