Module Univ_map_intf.S.Packed

module Packed: sig .. end

type t = 
| T : 'a Key.t * 'a Univ_map_intf.S.data -> t