summaryrefslogtreecommitdiff
path: root/backends/smt2/example.ys
blob: 6fccb344f38c49400a2b281e5350966a784abdd7 (plain)
1
2
3