From f47f50a04fed63128b6ae0c75794b4351987e9d6 Mon Sep 17 00:00:00 2001
From: Jacques Garrigue <garrigue at math.nagoya-u.ac.jp>
Date: Wed, 19 Jun 2002 03:25:28 +0000
Subject: [PATCH] coercions

git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@9980 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 manual/manual/tutorials/lablexamples.etex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/manual/manual/tutorials/lablexamples.etex b/manual/manual/tutorials/lablexamples.etex
index 3f64f34ae..6d7754e0e 100644
--- a/manual/manual/tutorials/lablexamples.etex
+++ b/manual/manual/tutorials/lablexamples.etex
@@ -389,6 +389,7 @@ source type may be omitted.
 \begin{caml_example}
 type 'a wlist = [`Nil | `Cons of 'a * 'a wlist | `Snoc of 'a wlist * 'a];;
 let wlist_of_vlist  l = (l : 'a vlist :> 'a wlist);;
+let open_vlist l = (l : 'a vlist :> [> 'a vlist]);;
 fun x -> (x :> [`A|`B|`C]);;
 \end{caml_example}