Skip to main content

NLINES_BITS

charon_lib::ast::meta::spans::pack

Constant NLINES_BITS 

Source 
pub const NLINES_BITS: u32 = 7;