Function hazardflow_designs::std::valid_ready::attach_resolver

pub fn attach_resolver<P: Copy, EP: Copy, R: Copy>(
    m: impl FnOnce(Vr<P>) -> Vr<EP>
) -> impl FnOnce(I<VrH<P, R>, { Dep::Helpful }>) -> I<VrH<EP, R>, { Dep::Helpful }>

Attaches an additional resolver to the valid-ready circuit m.

The returned module attach_resolver(m) looks like the following:

 (Ingress)               (Egress)
              +-----+
HOption<P> -->|  m  |--> HOption<EP>
      bool <--|     |<-- bool
              +-----+
         R <------------ R