structure Lean.Expr.NumApps.State : Type

• visited : PtrSet Expr
• counters : NameMap Nat

@[reducible, inline]

unsafe abbrev Lean.Expr.NumApps.M (α : Type) : Type

unsafe def Lean.Expr.NumApps.visit (e : Expr) : M Unit

unsafe def Lean.Expr.NumApps.main (e : Expr) : NameMap Nat

def Lean.Expr.numApps (e : Expr) (threshold : Nat := 0) : IO (Array (Name × Nat))

Returns the number of applications for each declaration used in e.

This operation is performed in IO because the result depends on the memory representation of the object.

Note: Use this function primarily for diagnosing performance issues.