Commit 2149a1c7 authored by POTTIER Francois's avatar POTTIER Francois

Published [Misc.unSome].

parent 6919c00a
......@@ -2,7 +2,7 @@
let ( $$ ) x f = f x
let unSome = function
None -> assert false
None -> assert false
| Some x -> x
let o2s o f =
......
(* Projecting out of an option. May fail abruptly! *)
val unSome: 'a option -> 'a
(* Converting an option to a string, with [None] converted
to the empty string. *)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment