Author
anonymous
over 8 years ago
$
*b is of type A: false *b is of type B: true *true_b is of type B: true *false_b is of type A: true *false_b is of type B: false