Skip to content

Merge pull request #666 from hacspec/type0-instead-of-type #2177

Merge pull request #666 from hacspec/type0-instead-of-type

Merge pull request #666 from hacspec/type0-instead-of-type #2177

Annotations

1 warning

ocamlformat

succeeded May 14, 2024 in 34s