pub fn read_asks_after(
roots: &[PathBuf],
seal: &dyn Sealer,
marks: &BTreeMap<String, ReadMark>,
) -> ((Vec<Ask>, BTreeSet<(String, String)>), Vec<FileRead>)Expand description
read_asks for a phone’s step, each file from its mark (marks, by its
path) when it still holds the line the mark names, else whole: the
requests past the marks, the cancels, and each file’s lines read, to move
the marks once the step decided (moved_marks). A line not ended yet
(being written) waits for the next step.