type (!'v, !'e) t = ('v, 'e) Component.qtval compute_naive :
('v, 'e) Type.graph ->
(('v, 'e) Type.vertex -> 'mt) ->
('v, 'e) tval compute_naiveD :
('v, 'e) Type.graph ->
(('v, 'e) Type.vertex -> 'mt) ->
('v, 'e) tval compute_naive_pseudoquad :
('v, 'e) Type.graph ->
(('v, 'e) Type.vertex -> 'mt) ->
('v, 'e) tval compute_pseudolinear :
('v, 'e) Type.graph ->
(('v, 'e) Type.vertex -> 'mt) ->
('v, 'e) tval compute_eq :
('v, 'e) Type.graph ->
(('v, 'e) Type.vertex -> 'mt) ->
('v, 'e) tval compute_cmp :
('v, 'e) Type.graph ->
(('v, 'e) Type.vertex -> 'mt) ->
('v, 'e) t