protected def _exprOneMan(op: Op, vs: Seq[t]): Ns1[A, B, C, D, E, F, G, H, I, J, K, L, M, N, t] & SortAttrs_14[A, B, C, D, E, F, G, H, I, J, K, L, M, N, t, Ns1] & CardOne
protected def _attrSortMan[ns1[_, _], ns2[_, _, _]](op: Op, a: ModelOps_1[N, t, ns1, ns2]): Ns2[A, B, C, D, E, F, G, H, I, J, K, L, M, N, N, t] & SortAttrs_15[A, B, C, D, E, F, G, H, I, J, K, L, M, N, N, t, Ns2]