Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder and Uni Bremen 2004
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

HasCASL.MapTerm

Description

rename symbols of terms according to a signature morphisms

Documentation

type Rename = ((Id, TypeScheme) -> (Id, TypeScheme), Type -> Type) Source #