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

module Funcons.Core.Abstractions.Patterns.Patterns where

import Funcons.EDSL

entities = []

types = typeEnvFromList
    []

funcons = libFromList
    [("patterns",NullaryFuncon stepPatterns)]

patterns_ = FName "patterns"
stepPatterns = evalRules [rewrite1] []
    where rewrite1 = do
            let env = emptyEnv
            rewriteTo (FName "values")