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