Type

job-id

An opaque, host-minted identifier for one in-flight invocation.

type job-id = u64;