structure State = State 
  ((*! structure IntSyn' = IntSyn !*)
   (*! structure Tomega' = Tomega !*)
   structure WorldSyn' = WorldSyn
   structure Formatter = Formatter)
     
structure Introduce = Introduce 
  ((*! structure IntSyn' = IntSyn !*)
   (*! structure Tomega' = Tomega !*)
   structure TomegaNames = TomegaNames
   structure State' = State)

   
structure Elim = Elim 
  (structure Data = Data
   (*! structure IntSyn' = IntSyn !*)
   (*! structure Tomega' = Tomega !*)
   structure State' = State
   structure Whnf = Whnf
   structure Abstract = Abstract
   structure Unify = UnifyTrail
   structure Constraints = Constraints
   structure Index = Index
   structure TypeCheck = TypeCheck)
 
structure FixedPoint = FixedPoint 
  ((*! structure IntSyn' = IntSyn !*)
   (*! structure Tomega' = Tomega !*)
   structure State' = State)

structure Split = Split
  (structure Global = Global
   (*! structure IntSyn' = IntSyn !*)
   (*! structure Tomega' = Tomega !*)
   structure State' = State
   structure Whnf = Whnf
   structure Abstract = Abstract
   structure Unify = UnifyTrail
   structure Constraints = Constraints
   structure Index = Index
   structure Names = Names
   structure Print = Print
   structure TypeCheck = TypeCheck
   structure Subordinate = Subordinate)


structure Search = Search 
  (structure Global = Global
   structure Data = Data
   (*! structure IntSyn' = IntSyn !*)
   (*! structure Tomega' = Tomega !*)
   structure State' = State
   structure Abstract = Abstract
   structure Conv = Conv
   structure CompSyn' = CompSyn
   structure Compile = Compile
   structure Whnf = Whnf
   structure Unify = UnifyTrail
   structure Index = IndexSkolem
   structure Assign = Assign 
   structure CPrint = CPrint
   structure Print = Print
   structure Names = Names
   structure CSManager = CSManager); 

structure Fill = Fill
  (structure Data = Data
   (*! structure IntSyn' = IntSyn !*)
   (*! structure Tomega' = Tomega !*)
   structure State' = State
   structure Whnf = Whnf
   structure Abstract = Abstract
   structure Unify = UnifyTrail
   structure Constraints = Constraints
   structure Index = Index
   structure Search = Search
   structure TypeCheck = TypeCheck)

structure Weaken =
  Weaken ((*! structure IntSyn' = IntSyn !*)
	  structure Whnf = Whnf)

(*
structure Recurse = Recurse
  (structure Global = Global
   structure Data = Data
   structure State' = State
   structure Whnf = Whnf
   structure Conv = Conv
   structure Names = Names
   structure Subordinate = Subordinate
   structure Print = Print
   structure Formatter = Formatter
   structure TomegaPrint = TomegaPrint
   structure Abstract = Abstract
   structure Unify = UnifyTrail
   structure Constraints = Constraints
   structure Index = Index
   structure Search = Search
   structure TypeCheck = TypeCheck)
*)


structure Interactive = Interactive
  (structure Global = Global
   (*! structure IntSyn' = IntSyn !*)
   (*! structure Tomega' = Tomega !*)
   structure State' = State
   structure Ring = Ring
   structure Formatter = Formatter
   structure Trail = Trail
   structure Names = Names
   structure Weaken = Weaken
   structure ModeSyn = ModeSyn
   structure WorldSyn = WorldSyn
   structure Introduce = Introduce
   structure FixedPoint = FixedPoint
   structure Split = Split
   structure Fill = Fill
   structure Elim = Elim)