Cross Reference: Tools.tmpl
xref
: /
hets
/
MMT
/
newLogicTemplates
/
Tools.tmpl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
module <LogicName>.Tools where
import <LogicName>.Sign
import <LogicName>.AS_BASIC_<LogicName>
import qualified
MMT.Tools
as Generic
import
Data.Maybe
<insert>