menu
ais3uson_app
proofs
Proof
name property
name
brightness_4
brightness_5
name
property
String
?
name
read / write
Implementation
String? name;
ais3uson_app
proofs
Proof
name property
Proof class