оГ
Size: a a a
оГ
оГ
VS
SB
type AorB = | A | B
, type CorD = | C | D
и ВНЕЗАПНО let f (x: AorB | CorD) = match по A | B | C | D
. или можно но я не знаю как?AH
type AorB = | A | B
, type CorD = | C | D
и ВНЕЗАПНО let f (x: AorB | CorD) = match по A | B | C | D
. или можно но я не знаю как?SB
AH
type AorB = | A | B
, type CorD = | C | D
и ВНЕЗАПНО let f (x: AorB | CorD) = match по A | B | C | D
. или можно но я не знаю как?AH
VK
type AorB = | A | B
, type CorD = | C | D
и ВНЕЗАПНО let f (x: AorB | CorD) = match по A | B | C | D
. или можно но я не знаю как?SB
AH
AH
AH
AH
SB
int != Int ==> int | Int != int | int
?AH
AH
int != Int ==> int | Int != int | int
?SB
int | int != int | int
нарушает рефлексивно, т.к. \forall x: x = x
. я тебя наверно нипанимаю. но суть в том, что я хочу как в TS: просто на ходу лепить AorB | CorD
и объявлять все это явно.AH