Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
The output signature of the various functors Make
, MakeStrong
, Fake
and Mk
.
val hashcons : key -> key hash_consed
hashcons v
hash-cons the value v
, i.e. returns any existing value equal to v
that has already been hash-consed, if any; otherwise, allocates a new hash-consed value with v
as a node and returns it. As a consequence the returned value is physically equal to any equal value already hash-consed.