Chore: Update documentation about arrow types · dafny-lang/dafny@583ca0a

Triggered via pull request January 10, 2025 23:08

synchronize #4521

Status Success

Total duration 23m 7s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

Name	Size	Digest
DafnyRef Expired	1.47 MB	`sha256:d171a3e59a8f8af59c386df6d21434c5db32a49ee45b24b1576e4d13feb389f3`