pub fn vec_ext_build_span_reconstruct(
env: &mut Environment,
) -> Result<(), String>Expand description
Vec.span_reconstruct : fst (span p xs) ++ snd (span p xs) = xs
pub fn vec_ext_build_span_reconstruct(
env: &mut Environment,
) -> Result<(), String>Vec.span_reconstruct : fst (span p xs) ++ snd (span p xs) = xs