package alt-ergo-lib

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

Install

Dune Dependency

alt-ergo.ocamlpro.com Readme LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1 License Edit opam file Versions (15)

Authors

  1. A
    Alt-Ergo developers

Maintainers

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

Sources

alt-ergo-2.3.0.tar.gz
sha256=7f1906900272125315833b9f0a6abc3c5af7b836d604fdb10a98a9079c1b99f9
md5=d99bfaf748f7c640222e59677e6afd7c

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

Module AltErgoLib.HconsingSource

Generic Hashconsing.

This module defines generic hashconsing over structures.

Hashconsing

Sourcemodule type HASHED = sig ... end

Hashed values.

Sourcemodule type S = sig ... end

Hashconsed values

Sourcemodule Make (H : HASHED) : S with type t = H.elt

Functor to create a hashconsing module from a module describing values.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct
On This Page
  1. Hashconsing