# Documentation

Lean.Compiler.IR.EmitUtil

# Helper functions for backend code generators #

Return true iff b is of the form let x := g ys; ret x

Equations
Equations
@[inline]
Equations
@[inline]
Equations
Equations
• = do let env ← read match with | some initFn => | x => pure ()
Equations
• One or more equations did not get rendered due to their size.
@[inline]
Equations
@[inline]
Equations
@[inline]
Equations
@[inline]
Equations
• = match x with | (vs, js) => (, js)
Equations
@[inline]
Equations

collectFnBody assumes the variables in

Equations

Return a pair (v, j), where v is a mapping from variable/parameter to type, and j is a mapping from join point to parameters. This function assumes d has normalized indexes (see normids.lean).

Equations