Documentation

Lean.Meta.Inductive

source
def Lean.Meta.compatibleCtors (ctorName₁ : Lean.Name) (ctorName₂ : Lean.Name) :
Lean.MetaM Bool
Equations
  • One or more equations did not get rendered due to their size.