Module `Rewriter.Pattern`

type 'a t = 'a Flambda2_types.Rewriter.pattern

val any : 'a Flambda2_types.Rewriter.Pattern.t

val var : 
  Flambda2_types.Rewriter.Var.t ->
  'a ->
  'a Flambda2_types.Rewriter.Pattern.t

val untag : 
  'a Flambda2_types.Rewriter.Pattern.t ->
  'a Flambda2_types.Rewriter.Pattern.t

type 'a block_field

val block_field : 
  Flambda2_numbers.Target_ocaml_int.t ->
  Flambda2_kinds.Flambda_kind.t ->
  'a Flambda2_types.Rewriter.Pattern.t ->
  'a Flambda2_types.Rewriter.Pattern.block_field

val block : 
  ?tag:Flambda2_kinds.Tag.t ->
  'a Flambda2_types.Rewriter.Pattern.block_field list ->
  'a Flambda2_types.Rewriter.Pattern.t

type 'a array_field

val array_field : 
  Flambda2_numbers.Target_ocaml_int.t ->
  Flambda2_kinds.Flambda_kind.t ->
  'a Flambda2_types.Rewriter.Pattern.t ->
  'a Flambda2_types.Rewriter.Pattern.array_field

val array : 
  'a Flambda2_types.Rewriter.Pattern.array_field list ->
  'a Flambda2_types.Rewriter.Pattern.t

type 'a closure_field

val rec_info : 
  Flambda2_identifiers.Function_slot.t ->
  'a Flambda2_types.Rewriter.Pattern.t ->
  'a Flambda2_types.Rewriter.Pattern.closure_field

val value_slot : 
  Flambda2_identifiers.Value_slot.t ->
  'a Flambda2_types.Rewriter.Pattern.t ->
  'a Flambda2_types.Rewriter.Pattern.closure_field

val function_slot : 
  Flambda2_identifiers.Function_slot.t ->
  'a Flambda2_types.Rewriter.Pattern.t ->
  'a Flambda2_types.Rewriter.Pattern.closure_field

val closure : 
  'a Flambda2_types.Rewriter.Pattern.closure_field list ->
  'a Flambda2_types.Rewriter.Pattern.t

Module Rewriter.Pattern

Module `Rewriter.Pattern`