Macro polyhorn_core::use_id

macro_rules! use_id {
    () => { ... };
}