AS.tmpl revision 0413c36cba625f74f193961c19826a5424c45c1d
module <LogicName>.AS_BASIC_<LogicName> where
--import Common.Id as Id
<insert>
newtype Basic_spec = Basic_spec [Decl]