jon.recoil.org

Module Ocaml_typing.LambdaSource

Sourcetype immediate_or_pointer =
  1. | Immediate
  2. | Pointer
Sourcetype boxed_float = Primitive.boxed_float =
  1. | Boxed_float64
  2. | Boxed_float32
Sourcetype boxed_integer = Primitive.boxed_integer =
  1. | Boxed_int64
  2. | Boxed_nativeint
  3. | Boxed_int32
Sourcetype boxed_vector = Primitive.boxed_vector =
  1. | Boxed_vec128
  2. | Boxed_vec256
  3. | Boxed_vec512
Sourcetype unboxed_float = Primitive.unboxed_float =
  1. | Unboxed_float64
  2. | Unboxed_float32
Sourcetype unboxed_or_untagged_integer = Primitive.unboxed_or_untagged_integer =
  1. | Unboxed_int64
  2. | Unboxed_nativeint
  3. | Unboxed_int32
  4. | Untagged_int16
  5. | Untagged_int8
  6. | Untagged_int
Sourcetype unboxed_vector = Primitive.unboxed_vector =
  1. | Unboxed_vec128
  2. | Unboxed_vec256
  3. | Unboxed_vec512
Sourcetype array_kind =
  1. | Pgenarray
  2. | Paddrarray
  3. | Pgcignorableaddrarray
  4. | Pintarray
  5. | Pfloatarray
  6. | Punboxedfloatarray of unboxed_float
  7. | Punboxedoruntaggedintarray of unboxed_or_untagged_integer
  8. | Punboxedvectorarray of unboxed_vector
  9. | Pgcscannableproductarray of unit
  10. | Pgcignorableproductarray of unit
Sourcetype nullable =
  1. | Nullable
  2. | Non_nullable
Sourcetype 'a mixed_block_element =
  1. | Value of unit
  2. | Float_boxed of 'a
  3. | Float64
  4. | Float32
  5. | Bits8
  6. | Bits16
  7. | Bits32
  8. | Bits64
  9. | Vec128
  10. | Vec256
  11. | Vec512
  12. | Word
  13. | Untagged_immediate
  14. | Product of 'a mixed_block_element array
  15. | Splice_variable of Ident.t
Sourcetype mixed_block_shape = unit mixed_block_element array
Sourceval split_vectors : bool