package smtml

  1. Overview
  2. Docs
package smtml
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module S.Hc

val clear : unit -> unit

clear () clears the hash-consing table.

val stats : unit -> Smtml_prelude.Hashtbl.statistics

stats () returns statistics about the hash-consing table.

val length : unit -> int

length () returns the number of entries in the hash-consing table.