vidi::util::solver

Function get_u32

Source 
pub fn get_u32(term: &Term) -> Option<u32>