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

module Funcons.Core.Computations.DataFlow.Storing.Stores where

import Funcons.EDSL

entities = []

types = typeEnvFromList
    [("uninitialised-values",DataTypeMembers [] [DataTypeConstructor "uninitialised" (TTuple [])])]

funcons = libFromList
    [("stores",NullaryFuncon stepStores),("uninitialised-values",NullaryFuncon stepUninitialised_values),("uninitialised",NullaryFuncon stepUninitialised)]

stores_ = FName "stores"
stepStores = evalRules [rewrite1] []
    where rewrite1 = do
            let env = emptyEnv
            rewriteTo (FApp "maps" (FTuple [FName "all-variables",FName "values"]))

stepUninitialised = rewritten (ADTVal "uninitialised" [])

stepUninitialised_values = rewriteType "uninitialised-values" []