Function leader_election 

pub fn leader_election<'a, L: Clone + Debug + Serialize + DeserializeOwned>(
    proposers: &Cluster<'a, Proposer>,
    acceptors: &Cluster<'a, Acceptor>,
    proposer_tick: &Tick<Cluster<'a, Proposer>>,
    acceptor_tick: &Tick<Cluster<'a, Acceptor>>,
    quorum_size: usize,
    num_quorum_participants: usize,
    paxos_config: PaxosConfig,
    p_received_p2b_ballots: Stream<Ballot, Cluster<'a, Proposer>, Unbounded, NoOrder>,
    a_log: Singleton<(Option<usize>, L), Tick<Cluster<'a, Acceptor>>, Bounded>,
    nondet_leader: NonDet,
    nondet_acceptor_ballot: NonDet,
) -> (Singleton<Ballot, Tick<Cluster<'a, Proposer>>, Bounded>, Optional<(), Tick<Cluster<'a, Proposer>>, Bounded>, Stream<(Option<usize>, L), Tick<Cluster<'a, Proposer>>, Bounded, NoOrder>, Singleton<Ballot, Tick<Cluster<'a, Acceptor>>, Bounded>)