happy-data-interval-funext.expect.yaml

status: ok
warnings: []
regression_for:
  - data-stage3-path-constructors
  - hott-book-lemma-6-3-2
  - rs17-axiom-4-6-relative-funext