happy-meta-prefix-plumbing.expect.yaml

status: ok
warnings: []
regression_for:
  - meta-parameter-layer-check
  - sHoTT weakextext-extext composition plumbing stays warning-free