]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/extlib/hExtlib.mli
added iter_option
[helm.git] / helm / ocaml / extlib / hExtlib.mli
index e40920350710fa2b9cca7a89e6573847babaf376..32fb59d473942a2f4ac61a72b07dacd391c4a18e 100644 (file)
@@ -26,6 +26,7 @@
 (** {2 Optional values} *)
 
 val map_option: ('a -> 'b) -> 'a option -> 'b option
+val iter_option: ('a -> unit) -> 'a option -> unit
 val unopt: 'a option -> 'a  (** @raise Failure *)
 
 (** {2 Filesystem} *)