rust_lean_playground

Constant LOW_51_BIT_MASK

Source 
pub const LOW_51_BIT_MASK: u64 = 2251799813685247u64;