-- GeNeRaTeD fOr: ../../CBS/Funcons/Computations/Control flow/Abnormal/Continuations/resume-signal.aterm
{-# LANGUAGE OverloadedStrings #-}

module Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.ResumeSignal where

import Funcons.EDSL

entities = [DefInput "resume-signal"]

types = typeEnvFromList
    []

funcons = libFromList
    []