sig
  val analysis :
    ('vertex, 'hedge, 'attr, 'arc) FixpointType.manager ->
    ('vertex, 'hedge, 'e, 'f, 'g) PSHGraph.t ->
    'vertex PSette.t ->
    (('hedge -> bool) -> ('vertex, 'hedge) FixpointType.strategy) ->
    ('vertex, 'hedge, 'attr, 'arc) FixpointType.output
  val add_active_hedges :
    ('vertex, 'hedge, 'attr, 'arc) FixpointType.manager ->
    ('vertex, 'hedge, 'attr, 'arc) FixpointType.graph ->
    ('hedge, unit) PHashhe.t -> bool
end