sig
  type 'a t =
      Agent of 'a
    | Freed of 'a Instantiation.site
    | Linked of 'a Instantiation.site * 'a Instantiation.site
    | NegativeWhatEver of 'a Instantiation.site
    | PositiveInternalized of 'a * Instantiation.site_name *
        Instantiation.internal_state
    | NegativeInternalized of 'a Instantiation.site
  val rename :
    int ->
    Renaming.t ->
    Instantiation.abstract Primitives.Transformation.t ->
    Instantiation.abstract Primitives.Transformation.t
  val concretize :
    Matching.t * int Mods.IntMap.t ->
    Instantiation.abstract Primitives.Transformation.t ->
    Instantiation.concrete Primitives.Transformation.t
  val print :
    ?sigs:Signature.s ->
    Format.formatter ->
    Instantiation.abstract Primitives.Transformation.t -> unit
  val negative_transformations_of_actions :
    Signature.s ->
    (Instantiation.concrete Instantiation.site ->
     Instantiation.concrete Instantiation.site option) ->
    Instantiation.concrete Instantiation.action list ->
    Instantiation.concrete Primitives.Transformation.t list
  val positive_transformations_of_actions :
    Signature.s ->
    Instantiation.concrete Instantiation.site list ->
    Instantiation.concrete Instantiation.action list ->
    Instantiation.concrete Primitives.Transformation.t list
end