package alt-ergo-lib

  1. Overview
  2. Docs
On This Page
  1. Hashconsing
package alt-ergo-lib
Legend:
Library
Module
Module type
Parameter
Class
Class type

Generic Hashconsing.

This module defines generic hashconsing over structures.

Hashconsing

module type HASHED = sig ... end

Hashed values.

module type S = sig ... end

Hashconsed values

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

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