property

The resolved value of a declared property. Because the gate type-checked everything, reading with the declared type's accessor always succeeds; an absent optional is Null.