liquid-fixpoint-0.4.0.0: tests/pos/func-arg.fq

bind 0 foo : {VV : func(0, [func(0, [int])]) | []}