Skip to content

Fix attributes in nested binders #590

Fix attributes in nested binders

Fix attributes in nested binders #590

Annotations

1 warning

install (ocaml-variants.4.14.0+options,ocaml-option-flambda, ubuntu-latest)

succeeded Mar 11, 2024 in 6m 13s