sig
  module Key :
    sig
      type 'a t
      val create :
        string -> ('-> Std_internal.Sexp.t) -> 'Univ_map.Multi.Key.t
    end
  val set : Univ_map.t -> 'Univ_map.Multi.Key.t -> 'a list -> Univ_map.t
  val find : Univ_map.t -> 'Univ_map.Multi.Key.t -> 'a list
  val add : Univ_map.t -> 'Univ_map.Multi.Key.t -> '-> Univ_map.t
  val change :
    Univ_map.t ->
    'Univ_map.Multi.Key.t -> ('a list -> 'a list) -> Univ_map.t
end