liquidhaskell-0.7.0.0: liquid-fixpoint/tests/pos/multiple-func-sorts.fq
// adapted from LH test vector2.hs
constant foo : func(1, [@(0); @(0)])
bind 6 foo : {VV : func(1, [@(0); @(0)]) | []}
// adapted from LH test vector2.hs
constant foo : func(1, [@(0); @(0)])
bind 6 foo : {VV : func(1, [@(0); @(0)]) | []}