Module `Flambda_primitive.Array_kind`

type t =

| Immediates
(*
An array consisting only of immediate values.
*)
| Gc_ignorable_values
(*
An array consisting of value-kind elements that the GC may ignore.
*)
| Values
(*
An array consisting of elements of kind value. With the float array optimisation enabled, such elements must never be floats.
*)
| Naked_floats
(*
An array consisting of naked floats, represented using Double_array_tag.
*)
| Naked_float32s
| Naked_ints
| Naked_int8s
| Naked_int16s
| Naked_int32s
| Naked_int64s
| Naked_nativeints
| Naked_vec128s
| Naked_vec256s
| Naked_vec512s
| Unboxed_product of Flambda2_terms.Flambda_primitive.Array_kind.t list
(*
Accesses to arrays of unboxed products are unarized on the way into Flambda 2. The float array optimization never applies for these arrays. Vectors are not yet supported inside these arrays.
*)

val print : 
  Stdlib.Format.formatter ->
  Flambda2_terms.Flambda_primitive.Array_kind.t ->
  unit

val compare : 
  Flambda2_terms.Flambda_primitive.Array_kind.t ->
  Flambda2_terms.Flambda_primitive.Array_kind.t ->
  int

val element_kinds : 
  Flambda2_terms.Flambda_primitive.Array_kind.t ->
  Flambda2_kinds.Flambda_kind.With_subkind.t list

val must_be_gc_scannable : 
  Flambda2_terms.Flambda_primitive.Array_kind.t ->
  bool

val width_in_scalars : Flambda2_terms.Flambda_primitive.Array_kind.t -> int

Module Flambda_primitive.Array_kind