{-
this file is a template for MMT:
basic Morphisms should remain static
-}
module <LogicName>.Morphism where
import <LogicName>.Sign as Sign
<insert>