summaryrefslogtreecommitdiff
path: root/tests/disjoint.lac
blob: 805b96749f762a0eacd6d47e6f126f1bcf490b25 (plain)
1
con c = [A = ()] ++ [A = ()]