-- GeNeRaTeD fOr: ../../CBS/Funcons/Computations/Control flow/Abnormal/Failing/signals.aterm
{-# LANGUAGE OverloadedStrings #-}

module Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Signals where

import Funcons.EDSL

entities = []

types = typeEnvFromList
    [("signals",DataTypeMembers [] [DataTypeConstructor "signal" (TTuple [])])]

funcons = libFromList
    [("signals",NullaryFuncon stepSignals),("signal",NullaryFuncon stepSignal)]

stepSignal = rewritten (ADTVal "signal" [])

stepSignals = rewriteType "signals" []