summaryrefslogtreecommitdiff
path: root/stdlib/option.ml
Commit message (Expand)AuthorAgeFilesLines
* (Micro-)optimize Option.joinNicolás Ojeda Bär2019-09-301-1/+1
* Stdlib: add Option module.Daniel Bünzli2018-08-081-0/+43