/*
String :: struct
  str: *U8
  len: S64

Slice :: struct
  data: *void
  len : S64

*/

Dynamic_Array :: struct
  data: *void
  len : S64
  cap : S64

Any :: struct
  data: *void
  type: Type

Type_Info_Kind :: enum
  S64 // FIRST_NUMERIC
  S32
  S16
  S8
  INT
  CHAR
  U64
  U32
  U16
  U8
  F32
  F64
  POINTER
  BOOL // LAST_NUMERIC
  STRING
  VOID
  ARRAY
  LAMBDA
  STRUCT
  UNION
  ENUM
  TYPE
  SLICE
  TUPLE

Type_Info_Struct_Member :: struct
  name: String
  type: Type
  offset: S64

Type_Info :: struct
  kind: Type_Info_Kind
  size: S64
  align: S64
  is_unsigned: Bool
  type: Type

  base_type: Type
  array_size: S64
  struct_member_count: S64
  struct_members: *Type_Info_Struct_Member
  lambda_argument_count: S64
  lambda_arguments: *Type_Info
  lambda_return: Type

type_infos_len:  S64       #foreign
type_infos    : *Type_Info #foreign

get_type_info :: (type: Type): *Type_Info
  id := type->S64
  if id >= type_infos_len
    return 0
  return type_infos + id