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