That proofs B must be a subtype of A since `B A` is a bound kotlinlang #functional

That proofs B must be a subtype of A since `B: A`...

raulraja

05/21/2020, 10:07 AM

That proofs B must be a subtype of A since

B: A

is a bound on the exit type argument.

2 Views