package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
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) : sig ... end
module Combine : sig ... end