Module type `Scalar.S`

type 'a width

type nonrec 'a t =
  ('a width, Scalar.any_locality_mode width) Scalar.Maybe_naked.t

val all : Scalar.any_locality_mode t list

val map : 'a t -> f:('a -> 'b) -> 'b t

val ignore_locality : _ t -> Scalar.any_locality_mode t

val width : _ t -> Scalar.any_locality_mode width

val to_string : Scalar.any_locality_mode t -> string

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

val equal : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool

Module type Scalar.S