{ forEvery n : MemberName -#gt; locate(n) = memberValue(n)}<br/>          -- Record acts as a dictionary on its attributes<br/><br/>{ forEvery n : MemberName -#gt; isTypeOf.memberValue(n)(recordType.memberType(n)) }       <br/>          -- the type of each attribute is given in the associated RecordType<br/>