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

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