Folks.PostalAddress.postal_code – folks Reference Manual
postal_code
Description:
public
string
postal_code
{
get
;
set
construct
; }
The postal code.
The postal code (also known as post code, postcode or ZIP code).
2022 vala-language.org