vidi::util::solver

Function get_int

Source
pub fn get_int(term: &Term) -> Option<i64>
Expand description

Returns a native integer