Struct SelectSpec 

pub struct SelectSpec {
    pub presend: i64,
    pub timeout_ticks: i64,
}

A recognized select (Await the first of { Receive … / After … }) on a READY channel: main pre-sends presend into the pipe, so the deterministic scheduler takes the RECEIVE arm; timeout_ticks is the (dead-on-this-path) timeout duration.

Fields

presend: i64

The value main sends before the select — makes the channel ready.

timeout_ticks: i64

The timeout arm’s duration literal (unused on the ready path; kept for the emitted fallback arm).

Trait Implementations

impl Clone for SelectSpec

fn clone(&self) -> SelectSpec

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SelectSpec

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for SelectSpec

fn eq(&self, other: &SelectSpec) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for SelectSpec

impl StructuralPartialEq for SelectSpec