Struct WorkUnit 

pub struct WorkUnit {
    pub proc: ProcessId,
    pub arg: ResumeArg,
}

The scheduler’s work-item type: wraps exactly one resume() invocation (SC-057 — “the unit of parallel/schedulable work is one process activation… within one activation the compiled kernel runs to completion on one thread and never yields mid-statement”). Distinct from determinism::WorkItem (which additionally carries the ordering key) — WorkUnit is the pre-ordering, “what to run” half.

Fields

proc: ProcessId

arg: ResumeArg

Trait Implementations

impl Clone for WorkUnit

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for WorkUnit

impl Debug for WorkUnit

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

Formats the value using the given formatter.