b5bb29b09bbb00b75612ca99edc13119bf2c8a05Aivaras Jakubauskas{-

b5bb29b09bbb00b75612ca99edc13119bf2c8a05Aivaras Jakubauskasthis file is a template for MMT:

b5bb29b09bbb00b75612ca99edc13119bf2c8a05Aivaras Jakubauskasbasic Morphisms should remain static

b5bb29b09bbb00b75612ca99edc13119bf2c8a05Aivaras Jakubauskas-}

5cbcb38f40d3eb0c2e66773c30cc58fa1171ffc9Aivaras Jakubauskasmodule PLpatt.Morphism where

5cbcb38f40d3eb0c2e66773c30cc58fa1171ffc9Aivaras Jakubauskas

5cbcb38f40d3eb0c2e66773c30cc58fa1171ffc9Aivaras Jakubauskasimport PLpatt.Sign as Sign

5cbcb38f40d3eb0c2e66773c30cc58fa1171ffc9Aivaras Jakubauskas

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederdata Morphism = Morphism {source :: Sigs, target :: Sigs}