Module mapping 

Type mapping utilities between UIR and Gaia IR Type mapping utilities for Gaia IR

This module provides utilities for mapping types to various backend formats, with special handling for JVM types, type erasure, and generic bounds.

Structs

TypeMappingContext

Type mapping context for type conversion

Functions

are_types_compatible

Check if two Gaia types are compatible

get_common_super_type

Get the common super type of two Gaia types

map_gaia_type_to_jvm_descriptor

Map GaiaType to JVM type descriptor

map_uir_type_to_gaia_type

Legacy alias for backward compatibility

parse_type_name

Parse a type name string to GaiaType