funcons-tools-0.2.0.1: manual/Funcons/Core/Values/Primitive/Atoms.hs

{-# LANGUAGE OverloadedStrings #-}

module Funcons.Core.Values.Primitive.Atoms where

import Funcons.EDSL hiding (atom_)
import qualified Funcons.Operations as VAL

library = libFromList [
        ("atom", fromValOp atom_ VAL.atom_)
    ]

atom_ = applyFuncon "atom"