]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/extlib/hExtlib.ml
added iter_option
[helm.git] / helm / ocaml / extlib / hExtlib.ml
index ceb9c8d8bc1ca21fd3a361db1d951300136a34de..9f4f2d9c904bef51d1c3121eeeec90aad4ca050e 100644 (file)
@@ -57,6 +57,7 @@ let profile =
 (** {2 Optional values} *)
 
 let map_option f = function None -> None | Some v -> Some (f v)
+let iter_option f = function None -> () | Some v -> f v
 let unopt = function None -> failwith "unopt: None" | Some v -> v
 
 (** {2 String processing} *)