type Either
import Base21type Either<a, b, -A: Kind(a), -B: Kind(b)> is Kind(a <&> b):
22 Inl{value: A}
23 Inr{value: B}
Uses (0)
This definition uses no other definition.
import Base21type Either<a, b, -A: Kind(a), -B: Kind(b)> is Kind(a <&> b):
22 Inl{value: A}
23 Inr{value: B}
This definition uses no other definition.