hax_lib_macros::hax_paths

Constant DECORATION_KINDS

Source 
pub const DECORATION_KINDS: &[&str];
Expand description

The various strings allowed as decoration kinds.