hax_lib_macros

Function unsafe_expr

Source 
pub(crate) fn unsafe_expr() -> TokenStream