pub fn impl_polarity() -> DepKindStruct