Skip to main content

convert_item_ref

charon_lib::ast::items::item_ids

Macro convert_item_ref 

Source 
macro_rules! convert_item_ref {
    ($item_ref_ty:ident($id:ident)) => { ... };
}