Bend/tests/golden_tests/compile_file_o_all/non_exhaustive_tree.bend
2024-06-05 16:00:43 +02:00

5 lines
100 B
Plaintext

(Warp s (Tree/Leaf a) (Tree/Leaf b)) = 0
(Warp s (Tree/Node a b) (Tree/Node c d)) = 1
main = *