add Basic_bv.pp

imandra-ai · Aug 20, 2024 · 647eac5 · 647eac5
1 parent 6425816
commit 647eac5
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/src/core/basic_bv.ml b/src/core/basic_bv.ml
@@ -54,3 +54,6 @@ let to_list self : _ list =
   let l = ref [] in
   iter self (fun x -> l := x :: !l);
   !l
+
+let show self = spf "<bitvec len=%d>" (length self)
+let pp out (self : t) = Fmt.string out (show self)
diff --git a/src/core/basic_bv.mli b/src/core/basic_bv.mli
@@ -1,6 +1,6 @@
 (** A really basic bitvector *)
 
-type t [@@deriving twine]
+type t [@@deriving twine, pp]
 
 val create : int -> t
 val get : t -> int -> bool