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

Dune Dependency

alt-ergo.ocamlpro.com Edit opam file Versions (15)

Authors

A

Alt-Ergo developers

Maintainers

O

OCamlPro <alt-ergo@ocamlpro.com>

Sources

alt-ergo-2.3.1.tar.gz

sha256=0fd6594f30d4e2bea97350a7906ecc2528c37e8fdd32588818a162aacc409688

md5=a0e9dda8f17c1f4f03119badd24d1bf5

doc/alt-ergo-lib/AltErgoLib/Lists/index.html

Module `AltErgoLib.Lists`Source

Lists utilies

This modules defines some helper functions on lists

Misc functions

Sourceval to_seq : 'a list -> 'a Seq.t

Iterate on the list

Sourceval apply : ('a -> 'a) -> 'a list -> 'a list * bool

apply f [a_1; ...; a_n] returns a couple [f a_1; ...; f a_n], same same such that: (1) "same" is true if and only if a_i == a_i for each i; and (2) if same is true, then the resulting list is physically equal to the argument *

Sourceval apply_right : ('a -> 'a) -> ('b * 'a) list -> ('b * 'a) list * bool

similar to function apply, but the elements of the list are couples *

Sourceval find_opt : ('a -> bool) -> 'a list -> 'a option

Tries and find the first element of the list satisfying the predicate.

On This Page

Misc functions