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

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

import Funcons.EDSL

entities = [DefMutable "store" (FName "map-empty")]

types = typeEnvFromList
    []

funcons = libFromList
    []