Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder DFKI GmbH 2011
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Fpl.Morphism

Description

 

Documentation

type FplMor = Morphism TermExt SignExt (DefMorExt SignExt) Source #

mapFplSen :: FplMor -> FplForm -> FplForm Source #