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