module P :
Stdlib.Map.S
with type key =
AltErgoLib.Symbols.t * AltErgoLib.Ty.t list * AltErgoLib.Ty.t
module V :
Stdlib.Set.S
with type elt =
(AltErgoLib.Expr.t * (AltErgoLib.Shostak.Combine.r * string)) list
* (AltErgoLib.Shostak.Combine.r * string)
val add : key -> V.elt -> t -> t
val iter : (key -> elt -> unit) -> t -> unit
val fold : (key -> elt -> 'acc -> 'acc) -> t -> 'acc -> 'acc
val is_suspicious : t -> bool