let mk_v_array_length term sz = let array_length = Hlib.array_length term in let eq = D.F.p_eq array_length sz in eq