package alt-ergo-lib

  1. Overview
  2. Docs

Maps of values for alt-ergo's models. Elements are sorted by symbols/types (P) and accumulated as sets of expressions matching the P.key type (V).

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)
type key = P.key
type elt = V.t
type t
val add : key -> V.elt -> t -> t
val iter : (key -> elt -> unit) -> t -> unit
val fold : (key -> elt -> 'acc -> 'acc) -> t -> 'acc -> 'acc
val empty : t
val is_empty : t -> bool
val is_suspicious : t -> bool
OCaml

Innovation. Community. Security.