sig
  type ('vertex, 'hedge, 'threshold) parameter = {
    mutable compare : 'threshold -> 'threshold -> int;
    mutable print : Format.formatter -> 'threshold -> unit;
    mutable init : 'vertex -> 'threshold PSette.t;
    mutable apply :
      'hedge -> 'threshold PSette.t array -> 'threshold PSette.t;
    mutable iteration_nb : int;
  }
  val inference :
    ('vertex, 'hedge, 'abstract, 'arc) FixpointType.manager ->
    ('vertex, 'hedge, 'threshold) FixpointThreshold.parameter ->
    ('vertex, 'hedge, 'a, 'b, 'c) PSHGraph.t ->
    ('vertex, 'hedge) FixpointType.strategy ->
    ('vertex, 'threshold PSette.t) PHashhe.t
end