Data.SBV.Examples.Uninterpreted.Sort

data Q

f

t1

t2