Adding an Option module in Prelude
authorR. Thomas <refis.thomas@gmail.com>
Wed, 1 Sep 2010 12:27:43 +0000 (14:27 +0200)
committerR. Thomas <refis.thomas@gmail.com>
Wed, 1 Sep 2010 12:27:43 +0000 (14:27 +0200)
commitef3a77939eee3a8585511541e8a6a0c34951f825
treea63b3cd5a447b477f19f0637243edba88aa912ce
parentb37e777608b020886d54399f21872f9250fc75b2
Adding an Option module in Prelude
prelude.ml
prelude.mli