some js type check

test.jstc

type ActionsBlock = {
  !type: 'actions'
  !elements: [
    | StaticSelectElement
    | UsersSelectElement
    # | ConversationsSelectElement
    # | ChannelsSelectElement
    # | ButtonElement
    # | OverflowElement
    # | DatepickerElement
  ]
  block_id: string
}

type PlainTextElement = {
  !type: 'plain_text'
  !text: string & range(1, 3000)
  emoji: boolean
}

type Option = {
  !text: PlainTextElement
  description: PlainTextElement
  value: string & range(1, 75)
}

type Confirm = {
  confirm: PlainTextElement
  deny: PlainTextElement
  text: PlainTextElement
  title: PlainTextElement
}

type StaticSelectElement = {
  !type: 'static_select'
  !options: [Option]
  options_group: [{
    label: PlainTextElement
    options: Option
  }]
  action_id: string
  placeholder: PlainTextElement
  confirm: Confirm
  initial_option: Option
}

type UsersSelectElement = {
  !type: 'static_select'
  action_id: string
  placeholder: PlainTextElement
  confirm: Confirm
  initial_option: Option
}

validation.js

import { validate, type } from './test.jstc'

const value = {
  type: "actions",
  elements: [
    {
      type: "users_select"
    },
    {
      type: "static_select",
      options: [
        {
          value: 'option-1',
          text: {
            type: "plain_text",
            text: "Option 1"
          }
        },
        {
          value: 'option-2',
          text: {
            type: "plain_text",
            text: "Option 2"
          }
        }
      ]
    }
  ]
}


expect(await type('ActionsBlock').validate(value)).toBeTruthy()