Documentation

Lean.Compiler.LCNF.Simp

def Lean.Compiler.LCNF.simp (config : optParam Lean.Compiler.LCNF.Simp.Config { etaPoly := false, inlinePartial := false, implementedBy := false, inlineDefs := true }) (occurrence : optParam Nat 0) (phase : optParam Lean.Compiler.LCNF.Phase Lean.Compiler.LCNF.Phase.base) :
Instances For