{-# 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"