krabka_verified/remote_read.rs
1//! Remote-segment admission and relative-offset arithmetic.
2
3#[cfg(creusot)]
4use creusot_std::prelude::*;
5
6mod remote_time_index_candidate_count;
7pub use remote_time_index_candidate_count::{
8 remote_time_index_candidate_count, tiered_earliest_finished_index,
9 tiered_latest_finished_index, tiered_owning_epoch_index,
10};
11
12mod relative_offset;
13pub use relative_offset::{remote_fetch_end_position, remote_read_relative_offset};
14
15#[cfg(test)]
16mod tests;