[][src]Constant jl_sys::JL_OPTIONS_COMPILE_DEFAULT

pub const JL_OPTIONS_COMPILE_DEFAULT: u32 = 1;