props-option-3.ts

import { prop } from 'ts-tricks-hidey-hole'

export default createComponent({
  name: "UserAlerts",
  props: {
    user: prop<User>(Object),
    alerts: prop<Alert[]>(Array),
  },
  setup(props) {
    // Typescript infers typeof 'props' to be:
    // { 
    //   user: User, 
    //   alerts: Alert[], 
    // }
  },
})