{P : Sort u} →
  {foldChildren foldChildren' : Bool} →
    Lean.Language.SnapshotTree.foldSnaps.Control.proceed foldChildren =
        Lean.Language.SnapshotTree.foldSnaps.Control.proceed foldChildren' →
      (foldChildren = foldChildren' → P) → P