Macro polyhorn_core::use_async

macro_rules! use_async {
    ($manager:expr, $future:expr) => { ... };
}