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