fn update_gamma_by_var<'a>(gamma: Gamma<'a>, type_val: Value, name: &String) -> TCM<Gamma<'a>> {
    let mut gamma = gamma.into_owned();
    gamma.insert(name.clone(), type_val);
    Ok(Cow::Owned(gamma))
}
/// Some minor helper specialized from other functions.
Some minor helper specialized from other functions.
Some minor helper specialized from other functions .
fn update_gamma_by_var<'a>(gamma: Gamma<'a>, type_val: Value, name: &String) -> TCM<Gamma<'a>> {
    let mut gamma = gamma.into_owned();
    gamma.insert(name.clone(), type_val);
    Ok(Cow::Owned(gamma))
}
fn update_gamma_by_var < ' a > ( gamma : Gamma < ' a > , type_val : Value , name : & String ) -> TCM < Gamma < ' a > > { let mut gamma = gamma . into_owned ( ) ; gamma . insert ( name . clone ( ) , type_val ) ; Ok ( Cow :: Owned ( gamma ) ) }
Some minor helper specialized from other functions.
Some minor helper specialized from other functions .
gamma
Gamma<'a>
type_val
Value
name
&String
gamma
Gamma<'a>
type_val
Value
name
&String