Module `Integral.Boxable`

module Width : sig ... end

include Ocaml_typing.Scalar.S
  with type 'a width := 'a Ocaml_typing.Scalar.Integral.Boxable.Width.t

type nonrec 'a t =
  ('a Ocaml_typing.Scalar.Integral.Boxable.Width.t,
    Ocaml_typing.Scalar.any_locality_mode
      Ocaml_typing.Scalar.Integral.Boxable.Width.t)
    Ocaml_typing.Scalar.Maybe_naked.t

val all : 
  Ocaml_typing.Scalar.any_locality_mode Ocaml_typing.Scalar.Integral.Boxable.t
    list

val map : 
  'a Ocaml_typing.Scalar.Integral.Boxable.t ->
  f:('a -> 'b) ->
  'b Ocaml_typing.Scalar.Integral.Boxable.t

val ignore_locality : 
  _ Ocaml_typing.Scalar.Integral.Boxable.t ->
  Ocaml_typing.Scalar.any_locality_mode Ocaml_typing.Scalar.Integral.Boxable.t

val width : 
  _ Ocaml_typing.Scalar.Integral.Boxable.t ->
  Ocaml_typing.Scalar.any_locality_mode
    Ocaml_typing.Scalar.Integral.Boxable.Width.t

val to_string : 
  Ocaml_typing.Scalar.any_locality_mode Ocaml_typing.Scalar.Integral.Boxable.t ->
  string

val sort : 
  Ocaml_typing.Scalar.any_locality_mode Ocaml_typing.Scalar.Integral.Boxable.t ->
  Ocaml_typing.Jkind_types.Sort.Const.t

val equal : 
  ('a -> 'b -> bool) ->
  'a Ocaml_typing.Scalar.Integral.Boxable.t ->
  'b Ocaml_typing.Scalar.Integral.Boxable.t ->
  bool

Module Integral.Boxable

Module `Integral.Boxable`