1 2 3 4 5 6 7 8 9 10 11 12 13
original.name="Coercion_Invalid_1" ====== >>> main.whiley type nat is (int n) where n >= 0 type neg is (int n) where n <= 0 type knackered is nat|neg function f(int x) -> (knackered r): return x --- E400 main.whiley 7,11