vidi::util::solver

Function get_u32

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