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