pub fn vec_ext_build_reverse_append(env: &mut Environment) -> Result<(), String>Expand description
Vec.reverse_append : reverse (xs ++ ys) = reverse ys ++ reverse xs
pub fn vec_ext_build_reverse_append(env: &mut Environment) -> Result<(), String>Vec.reverse_append : reverse (xs ++ ys) = reverse ys ++ reverse xs