GNU/Linux man pages
Livre :
Expressions régulières,
Syntaxe et mise en oeuvre :
GNU/Linux |
Debian 7.3.0(Wheezy) |
|
 |
Hashtbl.HashedType(3o) |
 |
Hashtbl.HashedType − The input signature of the functor Hashtbl.Make.
Module type Hashtbl.HashedType
Module type
HashedType
= sig end
The input signature of the functor Hashtbl.Make .
type t
The type of the hashtable keys.
val equal : t -> t -> bool
The equality predicate used to compare keys.
val hash : t -> int
A hashing function on keys. It must be such that if two keys are equal according to equal , then they have identical hash values as computed by hash . Examples: suitable ( equal , hash ) pairs for arbitrary key types include ( (=) , Hashtbl.hash ) for comparing objects by structure, ( (fun x y −> compare x y = 0) , Hashtbl.hash ) for comparing objects by structure and handling Pervasives.nan correctly, and ( (==) , Hashtbl.hash ) for comparing objects by addresses (e.g. for cyclic keys).
|
Hashtbl.HashedType(3o) | |