pub const explicit_implied_predicates_of: DepKind;