let pretty pp fmt sgn = let print _ (k,i) = Format.fprintf fmt "(%a:%a)" pretty_key k pp i in fold print () sgn