Commit 2023-12-17 21:55 c9df7640

View on Github →

chore: various style improvements in positivity extensions (#8098)

  • match with ~q()
  • put type ascriptions inline

Estimated changes