def Lean.Compiler.LCNF.StructProjCases.findStructCtorInfo? (typeName : Name) : CoreM (Option ConstructorVal)

def Lean.Compiler.LCNF.StructProjCases.mkFieldParamsForCtorType (ctorType : Expr) (numParams numFields : Nat) : CompilerM (Array (Param Purity.pure))

structure Lean.Compiler.LCNF.StructProjCases.State : Type

• projMap : Std.HashMap FVarId (Array FVarId)
• fvarMap : Std.HashMap FVarId FVarId

@[reducible, inline]

abbrev Lean.Compiler.LCNF.StructProjCases.M (α : Type) : Type

def Lean.Compiler.LCNF.StructProjCases.M.run {α : Type} (x : M α) : CompilerM α

def Lean.Compiler.LCNF.StructProjCases.remapFVar (fvarId : FVarId) : M FVarId

partial def Lean.Compiler.LCNF.StructProjCases.visitCode (code : Code Purity.pure) : M (Code Purity.pure)

def Lean.Compiler.LCNF.StructProjCases.visitLetValue (v : LetValue Purity.pure) : M (LetValue Purity.pure)

partial def Lean.Compiler.LCNF.StructProjCases.visitAlt (alt : Alt Purity.pure) : M (Alt Purity.pure)

def Lean.Compiler.LCNF.StructProjCases.visitArg (arg : Arg Purity.pure) : M (Arg Purity.pure)

def Lean.Compiler.LCNF.StructProjCases.visitDecl (decl : Decl Purity.pure) : M (Decl Purity.pure)

def Lean.Compiler.LCNF.structProjCases : Pass