interface Userimport { type User } from "https://deno.land/x/gesso@v0.1.2/types/models.ts"; Propertiesid: numbername: stringsortable_name: stringlast_name: stringfirst_name: stringshort_name: stringsis_user_id: stringsis_import_id: numberintegration_id: stringlogin_id: stringavatar_url: stringavatar_state: stringenrollments: Enrollment[] | nullemail: stringlocale: stringlast_login: Datetime_zone: stringbio: string