object   method add_byte : int -> unit   method add_char : char -> unit   method add_string : string -> unit   method add_substring : string -> int -> int -> unit   method hash_size : int   method result : string   method wipe : unit end