-- GeNeRaTeD fOr: ../../CBS/Funcons/Computations/Data flow/Giving/given-value.aterm
{-# LANGUAGE OverloadedStrings #-}

module Funcons.Core.Computations.DataFlow.Giving.GivenValue where

import Funcons.EDSL

entities = [DefInherited "given-value" (FTuple [])]

types = typeEnvFromList
    []

funcons = libFromList
    []