Macro polyhorn_core::use_channel

macro_rules! use_channel {
    ($manager:expr, $task:expr) => { ... };
}