package coq-core

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Adapted from Damien Doligez, projet Para, INRIA Rocquencourt, OCaml stdlib.

The following functor is a specialized version of Weak.Make. Here, the responsibility of computing the hash function is now given to the caller, which makes possible the interleaving of the hash key computation and the hash-consing.

module type EqType = sig ... end
type statistics = {
  1. num_bindings : int;
  2. num_buckets : int;
  3. max_bucket_length : int;
  4. bucket_histogram : int array;
}
module type S = sig ... end
module Make (E : EqType) : S with type elt = E.t
module Combine : sig ... end
OCaml

Innovation. Community. Security.