Module Univ_map_intf.S1.Packed

module Packed: sig .. end

type 's t = 
| T : 'a Key.t * ('s0, 'a) Univ_map_intf.S1.data -> 's0 t