Match (yalo_plugin_CAMELOT.Yalo_plugin

module type EXPRESSION_CHECK = sig ... end

module MakeExpressionCheck (M : EXPRESSION_CHECK) : sig ... end

val list_concat_map : ('a -> 'b list) -> 'a list -> 'b list

val short_pattern_match : int

val long_pattern_match : int

val make_check : 
  (Yalo_plugin_ocaml.V1.OCAML_AST.pattern -> bool) ->
  int ->
  bool ->
  Yalo_plugin_ocaml.V1.OCAML_AST.OCAML_CHECK.warner ->
  Yalo_plugin_ocaml.V1.OCAML_AST.expression ->
  unit

module MATCH_BOOL : sig ... end

--------------------- Checks rules: match _ with | true | false -----------------------------

module MATCH_INT : sig ... end

--------------------- Checks rules: match _ with | 0 | n ------------------------------------

module MATCH_RECORD : sig ... end

--------------------- Checks rules: match _ with | {f1;f2;...} ------------------------------

module MATCH_TUPLE : sig ... end

--------------------- Checks rules: match _ with | (_, _ ..) --------------------------------

module MATCH_LIST_VERBOSE : sig ... end

--------------------- Checks rules: match _ with | x :: ----------------------------------