X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Futil.mli;h=96f03ed036c1287830f5cf01e4c219795f081a95;hb=7a5350448fac6b4e9ce894da1fc1815a68bdd5c1;hp=751225a9791e57a695a962369b0f5cf611591a08;hpb=e4aa4a66dd0a4946607245a0f43eab803f2770c4;p=fireball-separation.git

diff --git a/ocaml/util.mli b/ocaml/util.mli
index 751225a..96f03ed 100644
--- 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