Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix #4985. 

git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@10477 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Alain Frisch 2010-05-28 15:29:51 +00:00
parent b75e6c7f97
commit 8e915dd3f2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
manual/manual/refman/typedecl.etex
View File

@ -157,7 +157,7 @@ The type variables appearing as type parameters can optionally be
prefixed by "+" or "-" to indicate that the type constructor is
covariant or contravariant with respect to this parameter. This
variance information is used to decide subtyping relations when
checking the validity of @":>"@ coercions (see section \ref{s:objects}).
checking the validity of @":>"@ coercions (see section \ref{s:coercions}).
For instance, "type +'a t" declares "t" as an abstract type that is
covariant in its parameter; this means that if the type $\tau$ is a