[−][src]Function minitt::check::tcm::update_gamma_lazy
pub fn update_gamma_lazy<'a>(
gamma: Gamma<'a>,
pattern: &Pattern,
type_val: Value,
body: impl FnOnce() -> Value
) -> TCM<Gamma<'a>>
Lazy version of upG
in Mini-TT.