鉴别并
_
discriminated union
пословный:
鉴别 | 并 | ||
1) отличать; разбираться (в чём-л.); правильно определять, давать оценку
2) дифференцировать; дифференциальный
|
= 並, 1)
1) объединить(ся); соединить
2) рядом, вместе; одновременно; параллельно
3) перед отрицанием отнюдь, вовсе; ни в коем случае
4) союз и, к тому же
|