Module Yalo_plugin_CAMELOT.Verbose

----------------------- Checks rules: _ @ _ ----------------------------

module LIT_PREPEND : sig ... end

----------------------- Checks rules: fst/snd t --------------------------

module TUPLE_PROJ : sig ... end

----------------------- Checks rules: Nesting if >= 3 levels -------------

module NESTED_IF : sig ... end

-------------------- Checks rules: Nesting match >= 3 levels -------------

module NESTED_MATCH : sig ... end

------------ Checks rules: if _ then/else true | false ------------------

module IF_RETURNS_LIT : sig ... end

------------ Checks rules: if cond then cond | if cond then _ else cond --

module IF_COND_THEN_COND : sig ... end

------------ Checks rules: if not cond then x else y ---------------------

module IF_NOT_COND : sig ... end

------------ Checks rules: if x then true else y -------------------------

module IF_TO_OR : sig ... end

------------ Checks rules: if x then y else false ------------------------

module IF_TO_AND : sig ... end

------------ Checks rules: if x then false else y ------------------------

module IF_TO_AND_INV : sig ... end

------------ Checks rules: if x then y else true ------------------------

module IF_TO_OR_INV : sig ... end

------------ Checks rules: ... || true | true || ... | false || ... | ... || false --

module REDUNDANT_OR : sig ... end

------------ Checks rules: ... && true | true && ... | false && ... | ... && false --

module REDUNDANT_AND : sig ... end