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
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