structure MemoTable =
  HashTable (type key' = int * int
	     val hash = (fn (n,m) => 7 * n + m)
             val eq = (op =));
structure WorldSyn = 
  WorldSyn (structure Global = Global
	    structure Whnf = Whnf
	    structure Names = Names
	    structure Unify = UnifyTrail
	    structure Abstract = Abstract
	    structure Constraints = Constraints
	    structure Index = Index
	    (*! structure CSManager = CSManager !*)
	    structure Subordinate = Subordinate
	    structure Print = Print
	    structure Table = CidRedBlackTree
	    structure Paths = Paths
	    structure Origins = Origins
            structure Timers = Timers);

structure Worldify = Worldify 
  (structure Global = Global
   (*! structure IntSyn = IntSyn !*)
   structure WorldSyn = WorldSyn
   (*! structure Tomega = Tomega !*)
   structure Whnf = Whnf
   structure Names = Names
   structure Unify = UnifyTrail
   structure Abstract = Abstract
   structure Constraints = Constraints
   structure Index = Index
   structure CSManager = CSManager
   structure Subordinate = Subordinate
   structure Print = Print
   structure Table = IntRedBlackTree
   structure MemoTable = MemoTable
   structure IntSet = IntSet 
  (*! structure Paths = Paths !*)
   structure Origins = Origins);

structure WorldPrint = WorldPrint 
  (structure Global = Global
   (*! structure IntSyn = IntSyn !*)
   (*! structure Tomega' = Tomega !*)
   structure WorldSyn' = WorldSyn
   structure Names = Names
   structure Formatter' = Formatter
   structure Print = Print);