structure Order =
  Order ((*! structure IntSyn' = IntSyn !*)
	 structure Table = IntRedBlackTree);
(* -bp *)
(*
structure RedOrder = 
    RedOrder ((*! structure IntSyn' = IntSyn !*)
	      structure Table = IntRedBlackTree); 
*)