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 HaskellNone

HasCASL.SimplifyTerm

Description

remove type annotations of unique variables or operations

Synopsis

Documentation

simplifyRec :: Bool -> Env -> MapRec

simplify terms and patterns (if True)

simplifyTerm :: Env -> Term -> Term

remove qualification of unique identifiers

simplifyPattern :: Env -> Term -> Term

remove qualification of unique identifiers