hax_frontend_exporter

Function argument_span_of_mac_call

source 
pub fn argument_span_of_mac_call(mac_call: &MacCall) -> Span