pub fn predicates_defined_on() -> DepKindStruct