Common Sub-expression Elimination
- subst : Lean.Compiler.LCNF.FVarSubst
Instances For
@[inline]
Instances For
@[inline]
Instances For
@[inline]
Instances For
Instances For
Instances For
Instances For
Common sub-expression elimination
Instances For
def
Lean.Compiler.LCNF.cse
(phase : optParam Lean.Compiler.LCNF.Phase Lean.Compiler.LCNF.Phase.base)
(occurrence : optParam Nat 0)
: