つまり
TypeB f(const TypeA& a) {
if (a.x == 1) {
TypeB b;
b.z = STYLE_Y;
return b;
}
}
こういうこと？

俺なら
It maps a.x == 1 to b.z == STYLE_Y, where a : TypeA, b : TypeB.
みたいに書くけど。