diff options
Diffstat (limited to 'lib/int.mli')
| -rw-r--r-- | lib/int.mli | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/int.mli b/lib/int.mli index 956432a52..a84798950 100644 --- a/lib/int.mli +++ b/lib/int.mli @@ -18,3 +18,10 @@ val hash : t -> int module Set : Set.S with type elt = t module Map : CMap.ExtS with type key = t and module Set := Set + +module List : sig + val mem : int -> int list -> bool + val assoc : int -> (int * 'a) list -> 'a + val mem_assoc : int -> (int * 'a) list -> bool + val remove_assoc : int -> (int * 'a) list -> (int * 'a) list +end |