(* Format.printf "size %d@." (String.length res.bits);*)
for i = 0 to String.length v1.bits - 1 do
res.bits.[i] <- Char.chr ((Char.code v1.bits.[i]) lor (Char.code v2.bits.[i]))
(* Format.printf "size %d@." (String.length res.bits);*)
for i = 0 to String.length v1.bits - 1 do
res.bits.[i] <- Char.chr ((Char.code v1.bits.[i]) lor (Char.code v2.bits.[i]))