pub fn exclusive<H: Hazard, EH: Hazard, const D: Dep, const ED: Dep>(
    m: impl FnOnce(I<AndH<H>, D>) -> I<EH, ED>
) -> impl FnOnce(I<AndH<H>, D>) -> I<EH, ED>
Expand description

Wraps m to guarantee that there is at most one data processing in the module.

NOTE: m should return one outgoing data for one incoming data.