rib

Function bind_global_variable_types

Source 
pub fn bind_global_variable_types(
    expr: &mut Expr,
    type_pecs: &Vec<GlobalVariableTypeSpec>,
)
Expand description

Applies global variable type specifications to an expression tree.

Iterates through all provided GlobalVariableTypeSpec entries and overrides types in the given expression accordingly, enforcing the specified types on matching variable paths.