neo: Explain how arguments of a MClasType are named.

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

diff --git a/src/neo.nit b/src/neo.nit
index c3273a7..70d593e 100644 (file)
--- a/src/neo.nit
+++ b/src/neo.nit
@@ -72,6 +72,11 @@
 # * `visibility`: visibility of the class.
 # * `(:MClass)-[:CLASSTYPE]->(:MClassType)`: SEE: `MClass.mclass_type`
 #
+# Arguments in the `CLASSTYPE` are named following the `parameter_names`
+# attribute of the `MClassDef` that introduces the class. A class definition
+# introduces a class if and only if it has this class as `MCLASS` and
+# has `is_intro` set to `true`.
+#
 # `MClassDef`
 #
 # * labels: `MClassDef`, `model_name` and `MEntity`.
@@ -135,6 +140,9 @@
 # * `(:MClassType)-[:CLASS]->(:MClass)`: SEE: `MClassType.mclass`
 # * `(:MClassType)-[:ARGUMENT]->(:MType)`: type arguments.
 #
+# Arguments are named following the `parameter_names` attribute of the
+# `MClassDef` that introduces the class referred by `CLASS`.
+#
 # Additional relationship for `MVirtualType`:
 #
 # * `(:MVirtualType)-[:PROPERTY]->(:MProperty)`: associated property that