signature Core where {

 import ¶Assert®¶;

 		

 import ¶ConfigReg®¶;

 		   

 import ¶Counter®¶;

 		 

 import ¶FIFOF_®¶;

 		

 import ¶FIFOF®¶;

 	       

 import ¶FIFO®¶;

 	      

 import ¶Inout®¶;

 	       

 import ¶List®¶;

 	      

 import BFIFO;

 	    

 import ¶Clocks®¶;

 		

 import ¶ListN®¶;

 	       

 import ¶Monad®¶;

 	       

 import ¶PrimArray®¶;

 		   

 import ¶RWire®¶;

 	       

 import ¶RegFile®¶;

 		 

 import SFIFO;

 	    

 import ¶Vector®¶;

 		

 import ¶Connectable®¶;

 		     

 import ¶GetPut®¶;

 		

 import ¶ClientServer®¶;

 		      

 import Trace;

 	    

 import MemTypes;

 	       

 import MemArb;

 	     

 import ProcTypes;

 		

 import BRegFile;

 	       

 import BranchPred;

 		 

 import DataCacheBlocking;

 			

 import InstCacheBlocking;

 			

 import Processor;

 		

 interface (Core.CoreStats :: *) = {

     Core.dcache :: DataCacheBlocking.DCacheStats;

     Core.icache :: InstCacheBlocking.ICacheStats;

     Core.proc :: Processor.ProcStats

 };

  

 instance Core ¶Prelude®¶.¶PrimMakeUndefined®¶ Core.CoreStats;

 							    

 instance Core ¶Prelude®¶.¶PrimDeepSeqCond®¶ Core.CoreStats;

 							  

 instance Core ¶Prelude®¶.¶PrimMakeUninitialized®¶ Core.CoreStats;

 								

 interface (Core.Core :: *) = {

     Core.mmem_client :: ¶ClientServer®¶.¶Client®¶ MemTypes.MainMemReq MemTypes.MainMemResp;

     Core.stats :: Core.CoreStats;

     Core.tohost :: Processor.CPUToHost

 };

  

 instance Core ¶Prelude®¶.¶PrimMakeUndefined®¶ Core.Core;

 						       

 instance Core ¶Prelude®¶.¶PrimDeepSeqCond®¶ Core.Core;

 						     

 instance Core ¶Prelude®¶.¶PrimMakeUninitialized®¶ Core.Core;

 							   

 Core.mkCore :: (¶Prelude®¶.¶IsModule®¶ _m__ _c__) => _m__ Core.Core

 }