Cross Reference: Sublogic.tmpl
xref
: /
hets
/
MMT
/
newLogicTemplates
/
Sublogic.tmpl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
module <LogicName>.Sublogic where
import <LogicName>.Tools as Tools
import <LogicName>.AS_BASIC_<LogicName> as AS_BASIC
import <LogicName>.Sign as Sign
--data Sublogic = ...
--minSublogic ...
<insert>