Skip to content

reorder short-circuiting comparison to make proof go through #10

reorder short-circuiting comparison to make proof go through

reorder short-circuiting comparison to make proof go through #10

Annotations

1 error and 1 warning

This job failed