nitc :: MProperty :: mpropdefs=
The first is the introduction, The other are redefinitions (in refinements and in subclasses)
# All definitions of the property. # The first is the introduction, # The other are redefinitions (in refinements and in subclasses) var mpropdefs = new Array[MPROPDEF]