1(* Only built if LargeWord is 64-bits *)
2
3val () = if LargeWord.wordSize = 64 then () else raise Fail "LargeWord.wordSize <> 64";
4
5structure Word64 = LargeWord;
6