def DocGen4.Process.InductiveInfo.ofInductiveVal (v : Lean.InductiveVal) : Lean.MetaM InductiveInfo

Equations

• One or more equations did not get rendered due to their size.