pub fn validate_departed_view_logs<'a>(
departed: impl IntoIterator<Item = &'a CheckpointManifest>,
cut: impl IntoIterator<Item = &'a CheckpointManifest>,
) -> Result<(), String>Expand description
Every segment the departed participants’ view logs held at the predecessor cut is listed exactly once, by the same view, in this cut.
§Errors
Returns an error naming the first departed segment this cut lost or lists twice.