tree 7cc29095c929fe50a41a426cb21a997fdcead2f5
parent 1c5f1762b71c46d537c9cbfd3cc60f82b9175793
author Camille GILLOT <gillot.camille@gmail.com> 1692891775 +0000
committer Camille GILLOT <gillot.camille@gmail.com> 1692891775 +0000

Only check packed ADT.