Extracting props to separate module in Vue composition API in typescript

Question

I am trying to port some old code from Vue options API + JS to Vue composition API + TS and I have the following mixin:

export default {
  props: {
    time: {