Commit | Line | Data |
---|---|---|
2eadd929 SK |
1 | module type S = sig |
2 | type ('k, 'v) t | |
3 | ||
4 | val empty : ('k, 'v) t | |
5 | ||
6 | val set : ('k, 'v) t -> k:'k -> v:'v -> ('k, 'v) t | |
7 | ||
8 | val get : ('k, 'v) t -> k:'k -> 'v option | |
9 | ||
10 | val member : ('k, 'v) t -> k:'k -> bool | |
11 | ||
12 | val to_dot : ('k, 'v) t -> k_to_string:('k -> string) -> string | |
be22952d SK |
13 | |
14 | val of_list : ('k * 'v) list -> ('k, 'v) t | |
2eadd929 | 15 | end |