sig
  type cooperativities_t =
      (Ph_types.sort list * (Ph_types.sortidx list -> int)) PintTypes.SMap.t
  val interaction_graph : InteractionGraph.IG.t Pervasives.ref
  val cooperativities : Ph_instance.cooperativities_t Pervasives.ref
  val reset : unit -> unit
  type instance_t = Ph_instance.cooperativities_t * InteractionGraph.IG.t
  val copy : unit -> Ph_instance.instance_t
  val restore : Ph_instance.instance_t -> unit
end