signature Bridge where {

 import ¶Assert®¶;

 		

 import ¶ConfigReg®¶;

 		   

 import ¶Counter®¶;

 		 

 import ¶DReg®¶;

 	      

 import ¶EdgeDetect®¶;

 		    

 import ¶FIFOF_®¶;

 		

 import ¶FIFOF®¶;

 	       

 import ¶FIFO®¶;

 	      

 import ¶HList®¶;

 	       

 import ¶Inout®¶;

 	       

 import ¶List®¶;

 	      

 import BFIFO;

 	    

 import ¶Clocks®¶;

 		

 import ¶DiniPCIE®¶;

 		  

 import ¶ListN®¶;

 	       

 import ¶ModuleContextCore®¶;

 			   

 import ¶ModuleContext®¶;

 		       

 import ¶Monad®¶;

 	       

 import ¶PrimArray®¶;

 		   

 import ¶RWire®¶;

 	       

 import ¶RegFile®¶;

 		 

 import ¶Real®¶;

 	      

 import ¶RevertingVirtualReg®¶;

 			     

 import ¶Reserved®¶;

 		  

 import SFIFO;

 	    

 import ¶Vector®¶;

 		

 import ¶BRAMCore®¶;

 		  

 import ¶BUtils®¶;

 		

 import ¶Connectable®¶;

 		     

 import ¶DefaultValue®¶;

 		      

 import ¶Gearbox®¶;

 		 

 import ¶GetPut®¶;

 		

 import ¶AlignedFIFOs®¶;

 		      

 import ¶ClientServer®¶;

 		      

 import ¶FIFOLevel®¶;

 		   

 import ¶SceMiDefines®¶;

 		      

 import ¶SceMiProxies®¶;

 		      

 import ¶SpecialFIFOs®¶;

 		      

 import ¶SceMiInternals®¶;

 			

 import ¶SceMiAldecMacros®¶;

 			  

 import ¶SceMiEveMacros®¶;

 			

 import ¶SceMiMacros®¶;

 		     

 import ¶TieOff®¶;

 		

 import Trace;

 	    

 import MemTypes;

 	       

 import MemArb;

 	     

 import ProcTypes;

 		

 import BRegFile;

 	       

 import BranchPred;

 		 

 import DataCacheBlocking;

 			

 import InstCacheBlocking;

 			

 import Processor;

 		

 import Core;

 	   

 import ¶UnitAppendList®¶;

 			

 import ¶XilinxCells®¶;

 		     

 import ¶SceMiClocks®¶;

 		     

 import ¶SceMiDiniPCIE®¶;

 		       

 import ¶SceMiTCP®¶;

 		  

 import ¶XilinxPCIE®¶;

 		    

 import ¶SceMiVirtex5PCIE®¶;

 			  

 import ¶SceMiPCIE®¶;

 		   

 import ¶SceMiCore®¶;

 		   

 import ¶SceMiXactors®¶;

 		      

 import ¶SceMiSerialProbe®¶;

 			  

 import ¶SceMi®¶;

 	       

 import SceMiLayer;

 		 

 Bridge.lt :: ¶SceMiDefines®¶.¶SceMiLinkType®¶;

 					     

 Bridge.mkBridge :: (¶Prelude®¶.¶IsModule®¶ _m__ _c__) => _m__ ¶Prelude®¶.¶Empty®¶

 }