Instanciation déduite avec call-01
Les motifs call-01(arg1: X, arg2: thing), thing(name: name), name(xxx)
ou call-01(arg1: X, arg2:xxx)
permettent de déduire l'instance xxx
de classe X
.
Voir SSC-13 : ecliptic
instance de near-flat-disc
.
Voir SSC-18 : sedoid
instance de object
Edited by Aurélien Lamercerie