val gnext_of_next :
('l, 'e, 'n) Type.next ->
(('l, 'e, 'n) Type.node, 'l) Type.gnextval gedge_of_edge :
('l, 'e, 'n) Type.edge ->
(('l, 'e, 'n) Type.node, 'l, 'e) Type.gedgeval gnode_of_node :
('l, 'e, 'n) Type.node ->
(('l, 'e, 'n) Type.node, 'l, 'e, 'n) Type.gnodeval next_of_gnext :
(('l, 'e, 'n) Type.node, 'l) Type.gnext ->
('l, 'e, 'n) Type.nextval edge_of_gedge :
(('l, 'e, 'n) Type.node, 'l, 'e) Type.gedge ->
('l, 'e, 'n) Type.edgeval node_of_gnode :
(('l, 'e, 'n) Type.node, 'l, 'e, 'n) Type.gnode ->
('l, 'e, 'n) Type.nodeval map_link_in_gnext :
('r1 -> 'r2) ->
('r1, 'l) Type.gnext ->
('r2, 'l) Type.gnextval map_link_in_gedge :
('r1 -> 'r2) ->
('r1, 'l, 'e) Type.gedge ->
('r2, 'l, 'e) Type.gedgeval map_link_in_gnode :
('r1 -> 'r2) ->
('r1, 'l, 'e, 'n) Type.gnode ->
('r2, 'l, 'e, 'n) Type.gnodeval map_gnext :
('r1 -> 'r2) ->
('l1 -> 'l2) ->
('r1, 'l1) Type.gnext ->
('r2, 'l2) Type.gnextval map_gedge :
('r1 -> 'r2) ->
('l1 -> 'l2) ->
('e1 -> 'e2) ->
('r1, 'l1, 'e1) Type.gedge ->
('r2, 'l2, 'e2) Type.gedgeval map_gnode :
('r1 -> 'r2) ->
('l1 -> 'l2) ->
('e1 -> 'e2) ->
('n1 -> 'n2) ->
('r1, 'l1, 'e1, 'n1) Type.gnode ->
('r2, 'l2, 'e2, 'n2) Type.gnodeval pnext_of_next : ('a, 'b) Type.gnext -> ('c option * 'a, 'b) Type.gnextval pedge_of_edge :
('a, 'b, 'c) Type.gedge ->
('d option * 'a, 'b, 'c) Type.gedgeval pnode_of_node :
('a, 'b, 'c, 'd) Type.gnode ->
('e option * 'a, 'b, 'c, 'd) Type.gnode