[−][src]Function minitt::check::tcm::update_gamma
pub fn update_gamma<'a>(
gamma: Gamma<'a>,
pattern: &Pattern,
type_val: Value,
body: Value
) -> TCM<Gamma<'a>>
Move version of upG
in Mini-TT.
Gamma |- p : t = u => Gamma’
Cow
is used to simulate immutability.