[snipe.git] / top / smlnj-specific.sml

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 loseBit (x: Word32.word) : word = Word31.fromInt (Word32.toInt x)
  fun Word32_lsh (a, b) = Word32.<< (a, loseBit b)
  fun Word32_rsh (a, b) = Word32.~>> (a, loseBit b)
end
Commit	Line	Data
5c79bb68 JW	1	signature SUQ =
	2	sig
	3	val Word32_lsh : Word32.word * Word32.word -> Word32.word
	4	val Word32_rsh : Word32.word * Word32.word -> Word32.word
	5	end
	6
	7	structure Suq :> SUQ =
	8	struct
	9	fun loseBit (x: Word32.word) : word = Word31.fromInt (Word32.toInt x)
	10	fun Word32_lsh (a, b) = Word32.<< (a, loseBit b)
	11	fun Word32_rsh (a, b) = Word32.~>> (a, loseBit b)
	12	end