rzk-0.11.0: test/typecheck/cases/happy-data-hottbook-nat.expect.yaml

status: ok
warnings: []
regression_for:
  - data-stage2-hottbook-2-13-encode-decode