Hi,
type can point to either a primitive type (in Fame, these are: Boolean, String, Number) or to another type defined in the meta-model.
For the record, take a look at:
(PragmaType all detect: [ :each | each name = #'MSEProperty:type:' ]) pragmas
And here are the different types in a Moose image:
(PragmaType all detect: [ :each | each name = #'MSEProperty:type:' ])
pragmas collectAsSet: [ :each | each arguments second ] "a Set(#FAMIXModule #FAMIXClass #FAMIXParameterType #EQEquation #FAMIXFileAnchor #FAMIXBehaviouralEntity #EQOperator #FM3Element #Number #EQIdentifier #FAMIXSourceLanguage #LIBBook #EQVariable 'FM3.Property' #LIBPerson #EQExpression #FAMIXMethod #FAMIXNamedEntity #Boolean #FAMIXType #FAMIXAnnotationType #String #FM3MetaDescription)"
Cheers,
Tudor