diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-03-27 23:31:10 +0100 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-03-27 23:31:10 +0100 |
| commit | d7d4830443f1e385af862462f976553c8a9033e1 (patch) | |
| tree | 0fbdef6579a26e962b249c55e6ae407cd5b8dfda /hashtable.sig | |
| parent | 11e14dd4b93154964c87fc97cfcee62c52edf97a (diff) | |
Hashtable-based findKeyword function
Diffstat (limited to 'hashtable.sig')
| -rw-r--r-- | hashtable.sig | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/hashtable.sig b/hashtable.sig new file mode 100644 index 0000000..b714fd6 --- /dev/null +++ b/hashtable.sig @@ -0,0 +1,10 @@ +signature HASHTABLE = sig + type 'a t + + exception HashtableFull + exception Exists + + val create: int -> 'a t + val insert: 'a t -> string -> 'a -> unit + val lookup: 'a t -> string -> 'a option +end |