original.name="Export_Invalid_1"
======
>>> main.whiley
export function f(int x) -> int:
    return x + 2

export function f(int[] x) -> int:
    return |x| + 2
---
E316 main.whiley 4,16
=====
>>> main.whiley 4:6
public export method test():
    assume f(1) == 3
---