Foreign_Block :: struct {
    module_name: [] u8
    funcs: [] Foreign_Block.Foreign_Function
}

Stack_Frame :: struct {
    info: &Stack_Node
    current_line: u32
}

Stack_Node :: struct {
    file: [] u8
    line: u32
    func_name: [] u8
}

Stack_Trace :: struct {
    prev: &Stack_Trace
    data: &Stack_Node
    current_line: u32
}

Tagged_Global :: struct {
    data: rawptr
    type: type_expr
    tags: [] any
    pack: package_id
}

Tagged_Procedure :: struct {
    func: () -> void
    type: type_expr
    tags: [] any
    pack: package_id
}

Type_Entry :: struct {
    type: type_expr
    info: &Type_Info
}

Type_Info :: struct {
    kind: Type_Info.Kind
    size: u32
    alignment: u32
}

Type_Info_Array :: struct {
    base: Type_Info
    of: type_expr
    count: u32
}

Type_Info_Basic :: struct {
    base: Type_Info
    basic_kind: Type_Info_Basic.Kind
}

Type_Info_Compound :: struct {
    base: Type_Info
    components: [] type_expr
}

Type_Info_Distinct :: struct {
    base: Type_Info
    base_type: type_expr
    name: [] u8
}

Type_Info_Dynamic_Array :: struct {
    base: Type_Info
    of: type_expr
}

Type_Info_Enum :: struct {
    base: Type_Info
    backing_type: type_expr
    name: [] u8
    members: [] Type_Info_Enum.Member
    is_flags: bool
}

Type_Info_Function :: struct {
    base: Type_Info
    return_type: type_expr
    parameter_types: [] type_expr
    is_variadic: bool
}

Type_Info_Multi_Pointer :: struct {
    base: Type_Info
    to: type_expr
}

Type_Info_Pointer :: struct {
    base: Type_Info
    to: type_expr
}

Type_Info_Polymorphic_Struct :: struct {
    base: Type_Info
    name: [] u8
    tags: [] any
}

Type_Info_Polymorphic_Union :: struct {
    base: Type_Info
    name: [] u8
    tags: [] any
}

Type_Info_Slice :: struct {
    base: Type_Info
    of: type_expr
}

Type_Info_Struct :: struct {
    base: Type_Info
    constructed_from: type_expr
    name: [] u8
    members: [] Type_Info_Struct.Member
    parameters: [] any
    tags: [] any
    methods: [] Type_Info_Struct.Method
}

Type_Info_Union :: struct {
    base: Type_Info
    constructed_from: type_expr
    tag_enum: type_expr
    name: [] u8
    variants: [] Type_Info_Union.Variant
    parameters: [] any
    tags: [] any
    methods: [] Type_Info_Union.Method
}

Type_Info_Variadic_Argument :: struct {
    base: Type_Info
    of: type_expr
}

foreign_block :: #distinct u32

enum_name :: (value: $Backing_Type) -> str

enum_value :: ($E: type_expr, name: str) -> E

enum_values :: (E: type_expr) -> [] Type_Info_Enum.Member

for_all_types :: macro (body: Code) -> void

get_foreign_block :: (f: foreign_block) -> &Foreign_Block

get_globals_with_tag :: ($tag_type: type_expr) -> [] GGWT_Result(tag_type)

get_procedures_with_tag :: ($tag_type: type_expr) -> [] GPWT_Result(tag_type)

get_stack_trace :: (offset: i32) -> [..] Stack_Frame

get_stack_trace :: (buf: [] Stack_Frame, offset: i32) -> [] Stack_Frame

get_struct_by_name :: (name: [] u8) -> type_expr

get_struct_member :: (S: type_expr, member_name: [] u8) -> &Type_Info_Struct.Member

get_struct_method :: (type: type_expr, method_name: [] u8) -> &any

get_tags_for_member :: (S: type_expr, member_name: [] u8) -> [] any

get_tags_for_procedure :: (func: $T) -> [] any

get_type_info :: (t: type_expr) -> &Type_Info

is_pointer :: (t: type_expr) -> bool

offset_of :: (T: type_expr, member_name: [] u8) -> u32

populate_struct_vtable :: (table: &$Table_Type, struct_type: type_expr, safe) -> void

size_of :: (t: type_expr) -> u32

struct_constructed_from :: (struct_type: type_expr, base_type: type_expr) -> bool

struct_inherits :: (struct_type: type_expr, base_type: type_expr) -> bool

union_constructed_from :: (union_type: type_expr, base_type: type_expr) -> bool

write_type_name :: (writer: &Writer, t: type_expr) -> void