Integral (merlin-lib.merlin-lib.ocaml_typing.Ocaml

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