[][src]Constant jl_sys::JL_LOG_USER

pub const JL_LOG_USER: u32 = 1;