Module `Flambda_primitive.Block_access_kind`

type t =

| Values of {
1. tag : Flambda2_kinds.Tag.Scannable.t Flambda2_lattices.Or_unknown.t;
2. size : Flambda2_numbers.Target_ocaml_int.t Flambda2_lattices.Or_unknown.t;
3. field_kind : Block_access_field_kind.t;
}
| Naked_floats of {
1. size : Flambda2_numbers.Target_ocaml_int.t Flambda2_lattices.Or_unknown.t;
}
| Mixed of {
1. tag : Flambda2_kinds.Tag.Scannable.t Flambda2_lattices.Or_unknown.t;
2. size : Flambda2_numbers.Target_ocaml_int.t Flambda2_lattices.Or_unknown.t;
3. field_kind : Mixed_block_access_field_kind.t;
4. shape : Flambda2_kinds.Flambda_kind.Mixed_block_shape.t;
}

val print : Format.formatter -> t -> unit

val compare : t -> t -> int

val element_kind_for_load : t -> Flambda2_kinds.Flambda_kind.t

val element_subkind_for_load : t -> Flambda2_kinds.Flambda_kind.With_subkind.t

val to_block_shape : t -> Flambda2_kinds.Flambda_kind.Block_shape.t

val from_block_shape : 
  Flambda2_kinds.Flambda_kind.Block_shape.t ->
  index:Flambda2_numbers.Target_ocaml_int.t ->
  result_kind:Flambda2_kinds.Flambda_kind.With_subkind.t ->
  t

Module Flambda_primitive.Block_access_kind

Module `Flambda_primitive.Block_access_kind`