sig
  type ('a, 'b) t = ('a * 'b) list
  val sexp_of_t :
    ('a -> Sexplib.Sexp.t) ->
    ('b -> Sexplib.Sexp.t) -> ('a, 'b) Core_list.Assoc.t -> Sexplib.Sexp.t
  val t_of_sexp :
    (Sexplib.Sexp.t -> 'a) ->
    (Sexplib.Sexp.t -> 'b) -> Sexplib.Sexp.t -> ('a, 'b) Core_list.Assoc.t
  val add :
    ('a, 'b) Core_list.Assoc.t ->
    ?equal:('a -> 'a -> bool) -> 'a -> 'b -> ('a, 'b) Core_list.Assoc.t
  val find :
    ('a, 'b) Core_list.Assoc.t ->
    ?equal:('a -> 'a -> bool) -> 'a -> 'b option
  val find_exn :
    ('a, 'b) Core_list.Assoc.t -> ?equal:('a -> 'a -> bool) -> 'a -> 'b
  val mem :
    ('a, 'b) Core_list.Assoc.t -> ?equal:('a -> 'a -> bool) -> 'a -> bool
  val remove :
    ('a, 'b) Core_list.Assoc.t ->
    ?equal:('a -> 'a -> bool) -> 'a -> ('a, 'b) Core_list.Assoc.t
  val map :
    ('a, 'b) Core_list.Assoc.t -> f:('b -> 'c) -> ('a, 'c) Core_list.Assoc.t
  val inverse : ('a, 'b) Core_list.Assoc.t -> ('b, 'a) Core_list.Assoc.t
end