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=0fd6594f30d4e2bea97350a7906ecc2528c37e8fdd32588818a162aacc409688

md5=a0e9dda8f17c1f4f03119badd24d1bf5

Sourcetype t

Sourcetype view = {

}

Sourceval of_hstring : Hstring.t -> t

Sourceval of_string : string -> t

Sourceval view : t -> view

Sourceval compare : t -> t -> int

Sourceval equal : t -> t -> bool

Sourceval hash : t -> int

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

Sourceval to_string : t -> string

Sourcemodule Map : Map.S with type key = t

Sourcemodule Set : Set.S with type elt = t