val map :
(G.V.t->SL.Term.t)->G.t->Graph__Persistent.Digraph.ConcreteBidirectionalLabeled(Astral_internal.SL.Term)(Astral_internal__SL_graph0.SL_edge).t
val filter_map :
(G.V.t->SL.Term.t option)->G.t->Graph__Persistent.Digraph.ConcreteBidirectionalLabeled(Astral_internal.SL.Term)(Astral_internal__SL_graph0.SL_edge).t