Type Definition jl_sys::_JBTYPE[][src]

pub type _JBTYPE = SETJMP_FLOAT128;