let int = { name = "int"; num_bits = Word_size.num_bits Word_size.word_size - 1; max = max_int; min = min_int; to_string = string_of_int; }