Module Code_idempotentOperations

module Code_idempotentOperations: sig .. end
Check: detects some idempotent operations.

include Check.Structure