-- GeNeRaTeD fOr: ../../CBS/Funcons/Abstractions/Patterns/pattern-any.aterm
{-# LANGUAGE OverloadedStrings #-}

module Funcons.Core.Abstractions.Patterns.PatternAny where

import Funcons.EDSL

entities = []

types = typeEnvFromList
    []

funcons = libFromList
    [("pattern-any",NullaryFuncon stepPattern_any)]

-- |
-- /pattern-any/ is a pattern that matches any value,
--   computing the empty environment.
pattern_any_ = FName "pattern-any"
stepPattern_any = evalRules [rewrite1] []
    where rewrite1 = do
            let env = emptyEnv
            rewriteTo (FApp "thunk" (FTuple [FName "map-empty"]))