Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder and Uni Bremen 2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

HasCASL.FoldTerm

Description

folding terms

Documentation

data FoldRec a b Source #

Constructors

FoldRec 

Fields

foldTerm :: FoldRec a b -> Term -> a Source #

foldEq :: FoldRec a b -> ProgEq -> b Source #