tree 37a8ea3593ed6985e0ad38612c74e81d82c4d0f5
parent 642bfb254a851d0deca01d6e2f4db13b60536210
author Camille GILLOT <gillot.camille@gmail.com> 1665824432 +0000
committer Camille GILLOT <gillot.camille@gmail.com> 1698161417 +0000

Use `PlaceMention` for match scrutinees.