aboutsummaryrefslogblamecommitdiff
path: root/tests/run/enum-Tree.check
blob: 02f5151bec97c49366c8d4be892231200c9f6da5 (plain) (tree) 
d3b2c37b9 ^

1

                                                                    
If(IsZero(Pred(Succ(Zero))),Succ(Succ(Zero)),Pred(Pred(Zero))) --> 2
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-30 13:05:21 +0000