Module `Integral.Taggable`

module Width : sig ... end

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

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

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

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

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

val width : _ Scalar.Integral.Taggable.t -> Scalar.Integral.Taggable.Width.t

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

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

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

Module Integral.Taggable