module verifier_addr::vector_helper { use std::vector; public fun append_vector( vec1 : vector, vec2 : vector ) : vector { vector::append(&mut vec1,vec2); vec1 } }