structure TableParam =
 TableParam (structure Global = Global
             (*! structure IntSyn' = IntSyn !*)
	     (*! structure CompSyn' = CompSyn !*)
	     (*! structure RBSet = RBSet !*))