Module `Scalar.Integral`

module Taggable : sig ... end

module Boxable : sig ... end

module Width : sig ... end

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

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

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

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

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

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

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

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

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

Module Scalar.Integral

Module `Scalar.Integral`