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

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

Equations

• s.trace = Lean.Language.SnapshotTree.trace.go✝ Lean.Language.SnapshotTask.ReportingRange.skip s