structure ModeSyn = 
  ModeSyn ((*! structure IntSyn' = IntSyn !*)
	   structure Names = Names
	   structure Table = IntRedBlackTree
	   structure Index = Index);

structure ModeDec =
  ModeDec (structure ModeSyn' = ModeSyn
	   (*! structure Paths' = Paths !*)
	     );

structure ModeCheck =
  ModeCheck ((*! structure IntSyn = IntSyn *)
	     structure ModeSyn = ModeSyn
             structure Whnf = Whnf
	     structure Index = Index
	     (*! structure Paths = Paths !*)
	     structure Origins = Origins);

structure ModePrint =
  ModePrint (structure ModeSyn' = ModeSyn
	     structure Names = Names
	     structure Formatter = Formatter
	     structure Print = Print);