Documentation

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

mapMorphism :: Morphism -> Morphism -> Result Morphism Source #

mapSen :: Morphism -> EXP -> Result EXP Source #

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