Module Kappa_terms.Raw_mixture

type internal = int option
type agent = {
a_type : int;
a_ports : link array;
a_ints : internal array;
}
type t = agent list
val copy_agent : agent -> agent
val print : noCounters:bool -> created:bool -> initial_comma:bool -> ?⁠sigs:Kappa_mixtures.Signature.s -> Format.formatter -> t -> unit
val to_json : t -> Yojson.Basic.t
val of_json : Yojson.Basic.t -> t
type incr_t = {
father : int Kappa_generic_toolset.Mods.DynArray.t;
rank : (int * (bool * bool)) Kappa_generic_toolset.Mods.DynArray.t;
}
val union_find_counters : Kappa_mixtures.Signature.s option -> t -> incr_t
val find : incr_t -> int -> int
val union : incr_t -> int -> int -> unit
val create : int -> incr_t