package alt-ergo-lib

  1. Overview
  2. Docs
The Alt-Ergo SMT prover library

Install 

dune-project
 Dependency

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

Authors

  1. A
    Alt-Ergo developers

Maintainers

  1. O
    OCamlPro <alt-ergo@ocamlpro.com>

Sources

alt-ergo-2.3.2.tar.gz
sha256=69418b8b959f695de06a85347d554efd5f2dd28a58a976e3f354abf9a58e108c
md5=efdf062a6bfdc1505637591b37334a28

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

Module AltErgoLib.XliteralSource

Sourcetype builtin = Symbols.builtin =
  1. | LE
  2. | LT
  3. | IsConstr of Hstring.t
Sourcetype 'a view =
  1. | Eq of 'a * 'a
  2. | Distinct of bool * 'a list
  3. | Builtin of bool * builtin * 'a list
  4. | Pred of 'a * bool
Sourcetype 'a atom_view
Sourcemodule type OrderedType = sig ... end
Sourcemodule type S = sig ... end
Sourcemodule Make (X : OrderedType) : S with type elt = X.t