Constant MIPS_preceq_pw_qhra

pub const MIPS_preceq_pw_qhra: _bindgen_ty_55 = 966;