Module IncrementalAnalysis.BiAbductionResults

type t
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val make : unit -> t
val reset : t -> unit
val set_spec : t -> string -> Gillian.Gil_syntax.Spec.t -> unit
val contains_spec : t -> string -> bool
val get_spec_exn : t -> string -> Gillian.Gil_syntax.Spec.t
val get_all_specs : ?filter:(string -> bool) -> t -> Gillian.Gil_syntax.Spec.t list
val remove : t -> string -> unit
val prune : t -> string list -> unit

prune results proc_names

val merge : t -> t -> t