]> Joshua Wise's Git repositories - snipe.git/blob - top/smlnj-specific.sml
e57cae605138d59a9e36eebdddb469b7682c0600
[snipe.git] / top / smlnj-specific.sml
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
This page took 0.020179 seconds and 4 git commands to generate.