extract_integer

Function extract_integer 

Source
fn extract_integer(term: &Term) -> Result<i64>
Expand description

Extract an integer from a term