Function integer_domains 

pub fn integer_domains() -> Vec<Symbol>

All integer domain symbols: the fixed-width set plus numbers/bigint.

Examples

use sim_lib_numbers_core::domains;

let ints = domains::integer_domains();
assert_eq!(ints.len(), domains::fixed_integer_domains().len() + 1);
assert!(ints.contains(&domains::bigint()));