{-

this file is a template for MMT:

basic Morphisms should remain static

-}

module <LogicName>.Morphism where

import <LogicName>.Sign as Sign

--import qualified Data.Map as Map -- redundant, loaded with Sign

--import qualified <LogicName>.AS_BASIC_<LogicName> as AS_BASIC -- redundant, loaded with Sign

--data Morphism = Morphism Sign Sign (Map.Map Decl Decl)

--id :: Sign -> Morphism

--id sign = ...

--comp Morphism Morphism

-- Morphism

--comp mor1 mor2 = ...

{-

idMor :: Sigs -> Morphism

idMor a = inclusionMap a a

inclusionMap :: Sign.Sigs -> Sign.Sigs -> Morphism

inclusionMap s1 s2 = Morphism

{ source = s1

, target = s2

, propMap = Map.empty }

-}

<insert>