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