Scalar.Integral
module Taggable : sig ... end
module Boxable : sig ... end
module Width : sig ... end
include S with type 'a width := 'a Width.t
type nonrec 'a t = ('a Width.t, any_locality_mode Width.t) Maybe_naked.t
val all : any_locality_mode t list
val map : 'a t -> f:('a -> 'b) -> 'b t
val ignore_locality : _ t -> any_locality_mode t
val width : _ t -> any_locality_mode Width.t
val to_string : any_locality_mode t -> string
val sort : any_locality_mode t -> Jkind_types.Sort.Const.t
val equal : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool