Module `Integral.Boxable`

module Width : sig ... end

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

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

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

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

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

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

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

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

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

Module Integral.Boxable