{-# LANGUAGE DeriveDataTypeable #-}

module <LogicName>.AS_BASIC_<LogicName> where

import Data.Typeable

<insert>

newtype Basic_spec = Basic_spec [String] deriving (Show, Typeable)