Module `Matching.Agent`

type t = | Existing of Kappa_mixtures.Agent.t * int | Fresh of int * int

val rename : debugMode:bool -> int -> Kappa_generic_toolset.Renaming.t -> t -> t
val concretize : debugMode:bool -> (matching * int Kappa_generic_toolset.Mods.IntMap.t) -> t -> int * int
val get_type : t -> int
val get_id : t -> int
val is_fresh : t -> bool
val print : ?⁠sigs:Kappa_mixtures.Signature.s -> Format.formatter -> t -> unit
val print_site : ?⁠sigs:Kappa_mixtures.Signature.s -> t -> Format.formatter -> int -> unit
val print_internal : ?⁠sigs:Kappa_mixtures.Signature.s -> t -> int -> Format.formatter -> int -> unit
val to_yojson : t -> Yojson.Basic.t
val of_yojson : Yojson.Basic.t -> t