define_map_arrow

open_hypergraphs::lax::functor

Function define_map_arrow 

Source 
pub fn define_map_arrow<F: Functor<O1, A1, O2, A2> + Clone, O1: Clone + PartialEq, A1: Clone, O2: Clone + PartialEq, A2: Clone>(
    functor: &F,
    f: &OpenHypergraph<O1, A1>,
) -> OpenHypergraph<O2, A2>