Module Yalo_plugin_CAMELOT.Equality

module EQ_LIST : sig ... end

------------------ Checks rules: if (_ = literals | literals = _) -----------------------

module EQ_OPTION : sig ... end

------------------ Checks rules: _ = Some _ | Some _ = _ -------------

module EQ_BOOL : sig ... end

------------------ Checks rules: (_ = :bool | :bool = _) -----------------------

module EQ_PHYSICAL : sig ... end

------------------ Checks rules: (_ == _) -----------------------

module NEQ_PHYSICAL : sig ... end

------------------ Checks rules: (_ != _) -----------------------