package KaSim

  1. Overview
  2. Docs
type t =
  1. | Existing of Agent.t * int
  2. | Fresh of int * int
val rename : int -> Renaming.t -> t -> t
val concretize : (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