Cross Reference: AS.tmpl
xref
: /
hets
/
MMT
/
newLogicTemplates
/
AS.tmpl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
AS.tmpl revision 0413c36cba625f74f193961c19826a5424c45c1d
module <LogicName>.AS_BASIC_<LogicName> where
--import
Common.Id
as Id
<insert>
newtype Basic_spec = Basic_spec [Decl]