# 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.
partial def Lean.Meta.evalNat (e : Lean.Expr) :

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.