Module Expr_raw.HcSource

Sourceval clear : unit -> unit

clear () clears the hash-consing table.

Sourceval stats : unit -> Smtml_prelude.Hashtbl.statistics

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

Sourceval length : unit -> int

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