module Agent: sig .. end
An agent in a connected component
type
| |
Existing of Agent.t * int |
| |
Fresh of int * int |
val rename : int -> Renaming.t -> t -> t
val concretize : Matching.matching * int Mods.IntMap.t -> t -> int * int
val get_type : t -> int
val get_id : t -> int
val same_connected_component : t -> t -> bool
val is_fresh : t -> bool
val print : ?sigs:Signature.s -> Format.formatter -> t -> unit
val print_site : ?sigs:Signature.s -> t -> Format.formatter -> int -> unit
val print_internal : ?sigs:Signature.s ->
t -> int -> Format.formatter -> int -> unit
val to_yojson : t -> Yojson.Basic.json
val of_yojson : Yojson.Basic.json -> t