Function minitt::check::tcm::update_gamma_borrow

pub fn update_gamma_borrow<'a>(
    gamma: Gamma<'a>, 
    pattern: &Pattern, 
    type_val: Value, 
    body: &Value
) -> TCM<Gamma<'a>>

Borrow version of upG in Mini-TT.