The unpac monorepo manager self-hosting as a monorepo using unpac
Fix typo "get_succ_x" instead of "get_x". (#13313)
authored by
Nicolas Despres
and committed by
GitHub
bbc7ce7e
d0fbfc78
+1
-1
+1
-1
manual/src/tutorials/objectexamples.etex
+1
-1
manual/src/tutorials/objectexamples.etex
···
418
418
p'#get_x, p'#color;;
419
419
\end{caml_example}
420
420
A point and a colored point have incompatible types, since a point has
421
-
no method "color". However, the function "get_x" below is a generic
421
+
no method "color". However, the function "get_succ_x" below is a generic
422
422
function applying method "get_x" to any object "p" that has this
423
423
method (and possibly some others, which are represented by an ellipsis
424
424
in the type). Thus, it applies to both points and colored points.