Function vec_ext_build_functor_map_comp 

pub fn vec_ext_build_functor_map_comp(
    env: &mut Environment,
) -> Result<(), String>

Vec.functor_map_comp : ∀ α β γ (f : α → β) (g : β → γ), map (g ∘ f) = map g ∘ map f