Skip to main content

fexpr_builtin_symbol_FEXPR_ExtendedRealNumbers

flint_sys::fexpr_builtin

Constant fexpr_builtin_symbol_FEXPR_ExtendedRealNumbers 

Source 
pub const fexpr_builtin_symbol_FEXPR_ExtendedRealNumbers: fexpr_builtin_symbol = 152;