diff options
Diffstat (limited to 'lib/util.mli')
| -rw-r--r-- | lib/util.mli | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/util.mli b/lib/util.mli index 4075a70451..6f1e258727 100644 --- a/lib/util.mli +++ b/lib/util.mli @@ -78,8 +78,15 @@ val repeat : int -> ('a -> unit) -> 'a -> unit type ('a,'b) union = Inl of 'a | Inr of 'b module Intset : Set.S with type elt = int + +val intset_exists : (int -> bool) -> Intset.t -> bool + module Intmap : Map.S with type key = int +val intmap_in_dom : int -> 'a Intmap.t -> bool +val intmap_to_list : 'a Intmap.t -> (int * 'a) list +val intmap_inv : 'a Intmap.t -> 'a -> int list + val out_some : 'a option -> 'a val option_app : ('a -> 'b) -> 'a option -> 'b option |