Assoc (infer.NS.List.Assoc)

type ('k, 'v) t = ('k * 'v) list

include Ppx_compare_lib.Comparable.S2 with type ('k, 'v) t := ('k, 'v) t

val compare : 
  'a Base__Ppx_compare_lib.compare ->
  'b Base__Ppx_compare_lib.compare ->
  ('a, 'b) t Base__Ppx_compare_lib.compare

include Ppx_compare_lib.Equal.S2 with type ('k, 'v) t := ('k, 'v) t

val equal : 
  'a Base__Ppx_compare_lib.equal ->
  'b Base__Ppx_compare_lib.equal ->
  ('a, 'b) t Base__Ppx_compare_lib.equal

val sexp_of_t : 
  ('k -> Sexplib0.Sexp.t) ->
  ('v -> Sexplib0.Sexp.t) ->
  ('k, 'v) t ->
  Sexplib0.Sexp.t

val get : eq:('a -> 'a -> bool) -> 'a -> ('a, 'b) t -> 'b option

val get_exn : eq:('a -> 'a -> bool) -> 'a -> ('a, 'b) t -> 'b

val set : eq:('a -> 'a -> bool) -> 'a -> 'b -> ('a, 'b) t -> ('a, 'b) t

val update : 
  eq:('a -> 'a -> bool) ->
  f:('b option -> 'b option) ->
  'a ->
  ('a, 'b) t ->
  ('a, 'b) t

val remove : eq:('a -> 'a -> bool) -> 'a -> ('a, 'b) t -> ('a, 'b) t

val keys : ('a, 'b) t -> 'a list

val values : ('a, 'b) t -> 'b list

val map_values : ('b -> 'c) -> ('a, 'b) t -> ('a, 'c) t

val mem : 'a -> ('a, _) t -> eq:('a -> 'a -> bool) -> bool