rzk-0.11.0: test/typecheck/cases/happy-lattice-eq-gives-leq.expect.yaml

status: ok
regression_for:
  - lattice-eq-entails-order