Module Matching.AgentSource

An agent in a connected component

Sourcetype t =
  1. | Existing of Kappa_site_graphs.Agent.t * int
  2. | Fresh of int * int
Sourceval rename : debug_mode:bool -> int -> Kappa_data_structures.Renaming.t -> t -> t
Sourceval concretize : debug_mode:bool -> (matching * int Kappa_data_structures.Mods.IntMap.t) -> t -> int * int
Sourceval get_type : t -> int
Sourceval get_id : t -> int
Sourceval is_fresh : t -> bool
Sourceval print_site : ?sigs:Kappa_site_graphs.Signature.s -> t -> Format.formatter -> int -> unit
Sourceval print_internal : ?sigs:Kappa_site_graphs.Signature.s -> t -> int -> Format.formatter -> int -> unit
Sourceval to_yojson : t -> Yojson.Basic.t
Sourceval of_yojson : Yojson.Basic.t -> t