: Public Note
Created: 10-04-2008 12:15:51
Modified: 10-04-2008 12:15:51
Project:
Advanced:
{ forEvery n : MemberName -> locate(n) = memberValue(n)}<br /></p><p>          -- Record acts as a dictionary on its attributes<br /></p><p><br /></p><p>{ forEvery n : MemberName -> isTypeOf.memberValue(n)(recordType.memberType(n)) }       <br /></p><p>          -- the type of each attribute is given in the associated RecordType<br /></p>