user property Null safety

UserI user

Implementation

external UserI get user;