Scalar.Width
type 'mode t =
| Floating of 'mode Floating.Width.t
| Integral of 'mode Integral.Width.t
val map : 'a t -> f:('a -> 'b) -> 'b t
val to_string : any_locality_mode t -> string
val ignore_locality : _ t -> any_locality_mode t