En modélisation objet, on spécifie la classe des paramètres des objets.
Segment(Point, Point)

Dans NanoÉdit, ce qui compte est que l'on puisse extraire le Point du contenu du paramètre.
Segment(Repere, Observateur)

Cet abus de notation permet de simplifier les modèles.