given DFBitsCompareCandidate[LW <: Int, R, Op <: Op, C <: Boolean](using ic: Candidate[R])(using check: CompareCheck[LW, OutW, C], op: ValueOf[Op], castling: ValueOf[C]): DFBitsCompareCandidate[LW, R, Op, C]
given DFBitsCompareSEV[LW <: Int, Op <: Op, C <: Boolean, T <: BitOrBool, V <: SameElementsVector[T]](using x$1: ValueOf[Op], x$2: ValueOf[C]): DFBitsCompareSEV[LW, Op, C, T, V]