TypeTheory does no longer compile with the development version of Rocq #254
Description
This is revealed by the CI for UniMath PR 2074. Details: https://github.com/UniMath/UniMath/actions/runs/23854870467/job/69544938681?pr=2074
{{ message }}
This is revealed by the CI for UniMath PR 2074. Details: https://github.com/UniMath/UniMath/actions/runs/23854870467/job/69544938681?pr=2074