pub fn type_op_normalize_predicate() -> DepKindStruct