use structural equality

This commit is contained in:
Simon Cruanes 2016-05-17 23:23:45 +02:00
parent 18aed84903
commit 0a5e131ce1

View file

@ -243,7 +243,7 @@ let append_list a b = match b with
*)
let equal eq v1 v2 =
v1.size == v2.size
v1.size = v2.size
&&
let n = v1.size in
let rec check i =