Module Flambda_primitive.Block_access_kind
type t = | Values of {tag : Flambda2_kinds.Tag.Scannable.t Flambda2_lattices.Or_unknown.t;size : Flambda2_numbers.Target_ocaml_int.t Flambda2_lattices.Or_unknown.t;field_kind : Flambda2_terms.Flambda_primitive.Block_access_field_kind.t;
}| Naked_floats of {}| Mixed of {tag : Flambda2_kinds.Tag.Scannable.t Flambda2_lattices.Or_unknown.t;size : Flambda2_numbers.Target_ocaml_int.t Flambda2_lattices.Or_unknown.t;field_kind : Flambda2_terms.Flambda_primitive.Mixed_block_access_field_kind.t;shape : Flambda2_kinds.Flambda_kind.Mixed_block_shape.t;
}
val print :
Stdlib.Format.formatter ->
Flambda2_terms.Flambda_primitive.Block_access_kind.t ->
unitval element_kind_for_load :
Flambda2_terms.Flambda_primitive.Block_access_kind.t ->
Flambda2_kinds.Flambda_kind.tval element_subkind_for_load :
Flambda2_terms.Flambda_primitive.Block_access_kind.t ->
Flambda2_kinds.Flambda_kind.With_subkind.tval to_block_shape :
Flambda2_terms.Flambda_primitive.Block_access_kind.t ->
Flambda2_kinds.Flambda_kind.Block_shape.t