summaryrefslogtreecommitdiffstats
path: root/stdlib
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1995-06-05 13:41:20 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1995-06-05 13:41:20 +0000
commite5cfbe7fd75ffcd488632f39ceb1a30a34685b7d (patch)
treeb6a1082ea34499d982c0a24939beecd58ab8db18 /stdlib
parente57ef00576936f357c9c5ac339085cbd723176ac (diff)
"let rec" de valeurs plus souple.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@21 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
0 files changed, 0 insertions, 0 deletions