Skip to content

Fix attributes in nested binders #588

Fix attributes in nested binders

Fix attributes in nested binders #588

Annotations

1 warning

install (ocaml-base-compiler.4.12.1, macos-latest)

succeeded Mar 8, 2024 in 11m 8s