let eq = fun (a:Num.num array) (b:Num.num array) ->
 eq_0 ( minus a b )