Skip to main content

mode_differs

flint_lean::scan

Function mode_differs 

Source 
pub fn mode_differs(a: u32, b: u32) -> bool
Expand description

Whether two modes differ in PERM_BITS. Never off unix, where the walk reports a constant and a cited mode could never be matched.