- -> TranslatorSession ( [AST.ConcSm] -- ^ Resulting statemetns
- , [AST.SigDec] -- ^ Needed signals
- , Int -- ^ The number of cycles to simulate
- , [CoreSyn.CoreBndr]) -- ^ Any entities used
+ -> TranslatorSession ( [AST.ConcSm]
+ , [AST.SigDec]
+ , Int
+ , [CoreSyn.CoreBndr]) -- ^ (Resulting statements, Needed signals, The number of cycles to simulate, Any entities used)