fn known_max_input_sequence(inputs: &[FileHandle]) -> Option<NonZeroU64>Expand description
Computes the maximum target-domain sequence bound of the output of merging
inputs.
fn known_max_input_sequence(inputs: &[FileHandle]) -> Option<NonZeroU64>Computes the maximum target-domain sequence bound of the output of merging
inputs.