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

exact 

git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@10091 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Jacques Garrigue 2004-12-10 02:53:17 +00:00
parent 50e8d5abc6
commit fe244e1cea
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -78,9 +78,9 @@ an odd number of arrows). If the type has either a representation or
an equation, and the parameter is free ({\em i.e.\/} not bound via a
type constraint to a constructed type), its variance constraint is
checked but subtyping {\em etc.\/} will use the inferred variance of the
parameter, which may be better; otherwise ({\em i.e.\/} for abstract types or
constrained parameters), the variance must be given explicitly,
and it is invariant if no variance was given.
parameter, which may be better; otherwise ({\em i.e.\/} for abstract
types or non-free parameters), the variance must be given explicitly,
and the parameter is invariant if no variance was given.
The optional type equation @'=' typexpr@ makes the defined type
equivalent to the type expression @typexpr@ on the right of the @'='@