funcons-tools-0.1.0.0: cbs/Funcons/Core/Computations/DataFlow/Linking/LinkStores.hs

-- GeNeRaTeD fOr: ../../CBS/Funcons/Computations/Data flow/Linking/link-stores.aterm
{-# LANGUAGE OverloadedStrings #-}

module Funcons.Core.Computations.DataFlow.Linking.LinkStores where

import Funcons.EDSL

entities = []

types = typeEnvFromList
    []

funcons = libFromList
    [("link-stores",NullaryFuncon stepLink_stores)]

link_stores_ = FName "link-stores"
stepLink_stores = evalRules [rewrite1] []
    where rewrite1 = do
            let env = emptyEnv
            rewriteTo (FApp "maps" (FTuple [FName "all-links",FName "values"]))