sig type t = Word_size.t = W32 | W64 val num_bits : t -> int val word_size : t val ounit_tests : unit -> OUnit.test end