Module `Integral.Taggable`

module Width : sig ... end

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

type nonrec 'a t = (Width.t, 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 -> 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

Module Integral.Taggable