pub fn decode_output(buffer: &[u64], slot: usize, ty: PortType) -> ValueExpand description
An output at slot of buffer as the Value its port type names:
decode_slot for a one-slot carrier and a Ref2 pair, and the
two-limb reassembly for a 128-bit integer or a register word, which
ride two consecutive slots (alignment §6). This is the
typed read every compiled kernel’s get_value makes.