fn proposal_l1_head(
local_head: u64,
parent_l1_head: u64,
finalized: Option<u64>,
) -> u64Expand description
The l1_head a leader with local L1 head local_head should propose.
At least parent_l1_head and finalized; at most local_head unless the parent or
finalized block exceeds it.