[−][src]Constant jl_sys::JL_OPTIONS_POLLY_OFF

pub const JL_OPTIONS_POLLY_OFF: u32 = 0;