1 2 3 4 5 6 7 8 9 10 11 12 13 14
original.name="TypeEquals_Invalid_10" ====== >>> main.whiley type List is null | { int data, List next } function f(int|null x) -> (bool r): // if !(x is null || x >= 0): return x else: return false --- E400 main.whiley 6,15