Hets - the Heterogeneous Tool Set
Fpl.Morphism
Description
type FplMor = Morphism TermExt SignExt (DefMorExt SignExt)
mapFplSen :: FplMor -> FplForm -> FplForm