Documentation

mapTheory :: Morphism -> (Sign, [Named EXP]) -> Result (Sign, [Named EXP])

mapMorphism :: Morphism -> Morphism -> Result Morphism

mapSen :: Morphism -> EXP -> Result EXP

mapSymb :: Morphism -> Sign -> Symbol -> Set Symbol