Module Scalar.Maybe_naked

type ('a, 'b) t =
  1. | Value of 'a
  2. | Naked of 'b
    (*

    "Naked" means either untagged or unboxed, depending whether the type fits in 31 bits or not. e.g., Naked Int8 is untagged, but Naked (Int32 Any_locality_mode) would be unboxed

    *)