sig val to_string : Bitv.t -> string val of_string : string -> Bitv.t val print : Stdlib.Format.formatter -> Bitv.t -> unit end