prove the empty list case of calling a function

1 job for master in 8 minutes and 35 seconds
Status Job ID Name Coverage
  Test
passed #1967
lrust-coq8.5.3

00:08:35