path: root/test-suite/output/bug_9682.out

mmatch 1 + 2 + 3 + 4 + 5 + 6 in nat as x
return M (x = x) with
| 1
end
     : unit
#
     : True
##
     : True