-data FlatFunction' sigid = FlatFunction {
- flat_args :: [SignalMap sigid],
- flat_res :: SignalMap sigid,
- flat_apps :: [FApp sigid],
- flat_conds :: [CondDef sigid],
- flat_sigs :: [(sigid, SignalInfo)]
+data FlatFunction = FlatFunction {
+ flat_args :: [SignalMap],
+ flat_res :: SignalMap,
+ flat_apps :: [FApp],
+ flat_conds :: [CondDef],
+ flat_sigs :: [(SignalId, SignalInfo)]