new_arity = old_arity + 1

[fireball-separation.git] / ocaml / util.mli

diff --git a/ocaml/util.mli b/ocaml/util.mli
index 751225a9791e57a695a962369b0f5cf611591a08..96f03ed036c1287830f5cf01e4c219795f081a95 100644 (file)
--- a/ocaml/util.mli
+++ b/ocaml/util.mli
@@ -1,6 +1,7 @@
 val ( ++ ) : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b
 val findi : ('a -> bool) -> 'a list -> (int * 'a)
 val option_map : ('a -> 'b) -> 'a option -> 'b option
+val option_get : ('a option) -> 'a
 val find_opt : ('a -> 'b option) -> 'a list -> 'b option
 val index_of : ?eq:('a -> 'a -> bool) -> 'a -> 'a list -> int
 val index_of_opt : ?eq:('a -> 'a -> bool) -> 'a list -> 'a -> int option