liquid-fixpoint-0.5.0.0: 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)]) | []}