module <LogicName>.Tools where
import <LogicName>.Sign
import <LogicName>.AS_BASIC_<LogicName>
import qualified MMT.Tools as Generic
import Data.Maybe
<insert>