hax_frontend_exporter

Function inline_macro_invocations

source 
pub fn inline_macro_invocations<'t, S: BaseState<'t>, Body: IsBody>(
    ids: impl Iterator<Item = ItemId>,
    s: &S,
) -> Vec<Item<Body>>