Function voile::check::unify::unify_closure

fn unify_closure(tcs: TCS, a: &Closure, b: &Closure) -> TCM

Beta-rule in unify. $$ \newcommand{\xx}[0]{\texttt{x}} \newcommand{\Gvdash}[0]{\Gamma \vdash} \cfrac{}{ \Gvdash t \simeq \lambda \xx. t \xx \quad \Gvdash \lambda \langle \rangle \simeq \lambda \langle \rangle } $$