Documentation

Lean.Meta.Offset

def Lean.Meta.isNatProjInst (declName : Lean.Name) (numArgs : Nat) :
Equations
  • One or more equations did not get rendered due to their size.

Evaluate simple Nat expressions. Remark: this method assumes the given expression has type Nat.

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