Adding conveniance functions in prelude.ml
authorR. Thomas <refis.thomas@gmail.com>
Wed, 1 Sep 2010 11:58:56 +0000 (13:58 +0200)
committerR. Thomas <refis.thomas@gmail.com>
Wed, 1 Sep 2010 11:58:56 +0000 (13:58 +0200)
commitb37e777608b020886d54399f21872f9250fc75b2
tree49218591d1ca0a2c919244723c62154cc019a781
parent8f0c81a8e6628773b963a9025e35d21da053ca25
Adding conveniance functions in prelude.ml
prelude.ml
prelude.mli