pub const relopt_type_RELOPT_TYPE_REAL: relopt_type = 2;