commit: 7996d2f916c011f571754007fe8f2125eb8be838

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Mon Jul 15 16:42:08 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jul 16 08:33:26 2024 -0700
tree: 65955515dbcef3537a0e9859f4e22e09117cd1cb
parent: 1a9cbc96f1cbbbd2bb0092e574c5de64dc9d948c [diff]

feat: add `Lean.Expr.numObjs`

Add helper function for computing the number of allocated sub-expressions in a given expression.
Note: Use this function primarily for diagnosing performance issues.

src/Lean/Util.lean[diff]
src/Lean/Util/NumObjs.lean[Added - diff]

2 files changed

tree: 65955515dbcef3537a0e9859f4e22e09117cd1cb

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).