Update and add comments about log* functions

src/cdomain/value/cdomains/intDomain.mli

@@ -54,19 +54,19 @@ sig
   (** Not equal to: [x != y] *)
 
 
-  (** {b Bit operators} *)
+  (** {b Bitwise logical operators} *)
 
   val lognot: t -> t
-  (** Bitwise not (one's complement): [~x] *)
+  (** Bitwise logical not (one's complement): [~x] *)
 
   val logand: t -> t -> t
-  (** Bitwise and: [x & y] *)
+  (** Bitwise logical and: [x & y] *)
 
   val logor : t -> t -> t
-  (** Bitwise or: [x | y] *)
+  (** Bitwise logical or: [x | y] *)
 
   val logxor: t -> t -> t
-  (** Bitwise exclusive or: [x ^ y] *)
+  (** Bitwise logical exclusive or: [x ^ y] *)
 
   val shift_left : t -> t -> t
   (** Shifting bits left: [x << y] *)

src/common/util/intOps.ml

@@ -32,11 +32,17 @@ sig
 
   (* Bitwise *)
   val shift_left : t -> int -> t
+  (* shift_left x y shifts x to the left by y bits. *)
   val shift_right : t -> int -> t
+  (* shift_right x y shifts x to the right by y bits. *)
   val logand : t -> t -> t
+  (* Bitwise logical and. *)
   val logor : t -> t -> t
+  (* Bitwise logical or. *)
   val logxor : t -> t -> t
+  (* Bitwise logical exclusive or. *)
   val lognot : t -> t
+  (* Bitwise logical negation. *)
 
   (* Comparison *)
   val compare : t -> t -> int