Module Rewriter.Pattern
type 'a t = 'a Flambda2_types.Rewriter.patternval any : 'a Flambda2_types.Rewriter.Pattern.tval var :
Flambda2_types.Rewriter.Var.t ->
'a ->
'a Flambda2_types.Rewriter.Pattern.tval untag :
'a Flambda2_types.Rewriter.Pattern.t ->
'a Flambda2_types.Rewriter.Pattern.tval 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_fieldval block :
?tag:Flambda2_kinds.Tag.t ->
'a Flambda2_types.Rewriter.Pattern.block_field list ->
'a Flambda2_types.Rewriter.Pattern.tval 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_fieldval array :
'a Flambda2_types.Rewriter.Pattern.array_field list ->
'a Flambda2_types.Rewriter.Pattern.tval rec_info :
Flambda2_identifiers.Function_slot.t ->
'a Flambda2_types.Rewriter.Pattern.t ->
'a Flambda2_types.Rewriter.Pattern.closure_fieldval value_slot :
Flambda2_identifiers.Value_slot.t ->
'a Flambda2_types.Rewriter.Pattern.t ->
'a Flambda2_types.Rewriter.Pattern.closure_fieldval function_slot :
Flambda2_identifiers.Function_slot.t ->
'a Flambda2_types.Rewriter.Pattern.t ->
'a Flambda2_types.Rewriter.Pattern.closure_fieldval closure :
'a Flambda2_types.Rewriter.Pattern.closure_field list ->
'a Flambda2_types.Rewriter.Pattern.t