whiley_test_file 0.6.2

original.name="LengthOf_Valid_5"
======
>>> main.whiley


type list is int[]

function len(list l) -> int:
    return |l|

public export method test() :
    int[] l = [1, 2]
    assume len(l) == 2
    int[] s = "Hello World"
    assume len(s) == 11

---