Sublogic.hs revision 56213359305d26c4011562b704ea5d69e1182de4
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>