]> xenbits.xensource.com Git - xcp/xen-api-libs.git/commit
projects / xcp / xen-api-libs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f1455a) | patch
Adds `join' to the Opt module
authorMatthias Goergens <matthias.goergens@citrix.com>
Tue, 2 Feb 2010 16:07:11 +0000 (16:07 +0000)
committerMatthias Goergens <matthias.goergens@citrix.com>
Tue, 2 Feb 2010 16:07:11 +0000 (16:07 +0000)
commit83c4d46d2e657e78f144864b75a76d2faa877be4
tree67245d605caa5ad30cf0c56771d1501ad6828448tree
parent2f1455afcaeea984001169da9d0ec64f7d2beb4fcommit | diff
Adds `join' to the Opt module

`join' collapses (Some (Some a)) down to (Some a), and gives Nothing otherwise.

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>
stdext/opt.ml diff | blob | blame | history
stdext/opt.mli diff | blob | blame | history
Unnamed repository; edit this file to name it for gitweb.