funcons-tools-0.1.0.0: cbs/Funcons/Core/Computations/ControlFlow/Abnormal/Stuck.hs

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

module Funcons.Core.Computations.ControlFlow.Abnormal.Stuck where

import Funcons.EDSL

entities = []

types = typeEnvFromList
    []

funcons = libFromList
    [("stuck",NullaryFuncon stepStuck)]

-- |
-- /stuck/ cannot be evaluated.
stuck_ = FName "stuck"
stepStuck = norule (FName "stuck")