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