def Lean.Language.SnapshotTree.trace (s : Lean.Language.SnapshotTree) : Lean.CoreM Unit

Produces trace of given snapshot tree, synchronously waiting on all children.

Equations

• s.trace = Lean.Language.SnapshotTree.trace.go none s

partial def Lean.Language.SnapshotTree.trace.go (range? : Option String.Range) (s : Lean.Language.SnapshotTree) : Lean.CoreM Unit