package alt-ergo-lib

You can search for identifiers within the package.

in-package search v0.2.0

The Alt-Ergo SMT prover library

Install

sha256=7f1906900272125315833b9f0a6abc3c5af7b836d604fdb10a98a9079c1b99f9

md5=d99bfaf748f7c640222e59677e6afd7c

Sourcetype t

Sourceval make : string -> t

Sourceval view : t -> string

Sourceval print : Format.formatter -> t -> unit

Sourceval equal : t -> t -> bool

Sourceval compare : t -> t -> int

Sourceval hash : t -> int

Sourceval empty : t

Sourceval list_assoc : t -> (t * 'a) list -> 'a

Sourceval fresh_string : unit -> string

Sourceval is_fresh_string : string -> bool

Sourceval is_fresh_skolem : string -> bool

Sourcemodule Set : Set.S with type elt = t

Sourcemodule Map : Map.S with type key = t