rename_public.rs

//@ edition:2018

//@ set inner_id = "$.index[?(@.name=='inner')].id"
pub mod inner {
    //@ set public_id = "$.index[?(@.name=='Public')].id"
    //@ ismany "$.index[?(@.name=='inner')].inner.module.items[*]" $public_id
    pub struct Public;
}
//@ set import_id = "$.index[?(@.docs=='Re-export')].id"
//@ !has "$.index[?(@.inner.use.name=='Public')]"
//@ is "$.index[?(@.inner.use.name=='NewName')].inner.use.source" \"inner::Public\"
/// Re-export
pub use inner::Public as NewName;

//@ ismany "$.index[?(@.name=='rename_public')].inner.module.items[*]" $inner_id $import_id