example:

entity User {
  prim : String
  ref  : User
  derived : String := "test"
}

Submitted by Danny Groenewegen on 18 January 2013 at 13:43

added in r5601

That would be a nice improvement. Instead of having this set of property kind notations [::,->,<>], the new notation will be limited to [:,<>](old notation still allowed). Or do you have something else in mind to specify a composition (<>) property? I assume that the : notation will default to a reference (old notation: ->) kind of property in case of an entity or collection property.

The : is an additional option, you can still use the old kind notation. The : is desugared to either :: or -> depending on the type.