minitt::check::tcm
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.
upG