vidi::util::solver

Function get_u16

Source
pub fn get_u16(term: &Term) -> Option<u16>