Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /smlnj-lib/trunk/Util/hash-key-sig.sml
ViewVC logotype

Annotation of /smlnj-lib/trunk/Util/hash-key-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4860 - (view) (download)

1 : monnier 2 (* hash-key-sig.sml
2 :     *
3 : jhr 4860 * COPYRIGHT (c) 2018 The Fellowship of SML/NJ (http://www.smlnj.org)
4 :     * All rights reserved.
5 : monnier 2 *
6 :     * Abstract hash table keys. This is the argument signature for the hash table
7 :     * functor (see hash-table-sig.sml and hash-table.sml).
8 :     *
9 :     * AUTHOR: John Reppy
10 : jhr 4860 * University of Chicago
11 :     * https://cs.uchicago.edu/~jhr
12 : monnier 2 *)
13 :    
14 :     signature HASH_KEY =
15 :     sig
16 :     type hash_key
17 :    
18 :     val hashVal : hash_key -> word
19 :     (* Compute an unsigned integer key from a hash key. *)
20 :    
21 :     val sameKey : (hash_key * hash_key) -> bool
22 :     (* Return true if two keys are the same.
23 :     * NOTE: if sameKey(h1, h2), then it must be the
24 :     * case that (hashVal h1 = hashVal h2).
25 :     *)
26 :    
27 :     end (* HASH_KEY *)

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0