jon.recoil.org

Module Ocaml_typing.Lambda

type immediate_or_pointer =
  1. | Immediate
  2. | Pointer
type boxed_float = Ocaml_typing.Primitive.boxed_float =
  1. | Boxed_float64
  2. | Boxed_float32
type boxed_integer = Ocaml_typing.Primitive.boxed_integer =
  1. | Boxed_int64
  2. | Boxed_nativeint
  3. | Boxed_int32
type boxed_vector = Ocaml_typing.Primitive.boxed_vector =
  1. | Boxed_vec128
  2. | Boxed_vec256
  3. | Boxed_vec512
type unboxed_float = Ocaml_typing.Primitive.unboxed_float =
  1. | Unboxed_float64
  2. | Unboxed_float32
type unboxed_or_untagged_integer = Ocaml_typing.Primitive.unboxed_or_untagged_integer =
  1. | Unboxed_int64
  2. | Unboxed_nativeint
  3. | Unboxed_int32
  4. | Untagged_int16
  5. | Untagged_int8
  6. | Untagged_int
type unboxed_vector = Ocaml_typing.Primitive.unboxed_vector =
  1. | Unboxed_vec128
  2. | Unboxed_vec256
  3. | Unboxed_vec512
type array_kind =
  1. | Pgenarray
  2. | Paddrarray
  3. | Pgcignorableaddrarray
  4. | Pintarray
  5. | Pfloatarray
  6. | Punboxedfloatarray of Ocaml_typing.Lambda.unboxed_float
  7. | Punboxedoruntaggedintarray of Ocaml_typing.Lambda.unboxed_or_untagged_integer
  8. | Punboxedvectorarray of Ocaml_typing.Lambda.unboxed_vector
  9. | Pgcscannableproductarray of unit
  10. | Pgcignorableproductarray of unit
type nullable =
  1. | Nullable
  2. | Non_nullable