hax_lib_macros_types

Constant HAX_TOOL

Source 
pub const HAX_TOOL: &str = "_hax";