Previous
Up
Next
Module
Code_idempotentOperations
module
Code_idempotentOperations:
sig
..
end
Check: detects some idempotent operations.
include
Check.Structure