+signature SUQ =
+sig
+ val Word32_lsh : Word32.word * Word32.word -> Word32.word
+ val Word32_rsh : Word32.word * Word32.word -> Word32.word
+end
+
+structure Suq :> SUQ =
+struct
+ fun Word32_lsh (a, b) = Word32.<< (a, b)
+ fun Word32_rsh (a, b) = Word32.~>> (a, b)
+end
\ No newline at end of file