original.name="Template_Valid_16"
======
>>> main.whiley
type LinkedList<T> is null | { LinkedList<T> next, T data }

property length<T>(LinkedList<T> list, int n) -> (bool r):
    return (list is null && n == 0) ||
           (!(list is null) && length<T>(list.next,n-1))

public export method test():
    LinkedList<int> l1 = null
    LinkedList<int> l2 = { next: l1, data: 1 }
    LinkedList<int> l3 = { next: l2, data: 2 }
    //
    assert length<int>(l1,0)
    assert length<int>(l2,1)
    assert length<int>(l3,2)
---
=====
>>> main.whiley 4:6
   if list is null:
      return n == 0
   else:
      return length<T>(list.next,n-1)
---