rzk-0.8.0: test/typecheck/cases/happy-tope-nested-rec-or.expect.yaml

status: ok
regression_for:
  - nested-recOR-checkCoherence-cartesian