let inter s t =
  Trace.call "foo6" "Sign.inter" (s, t) (Pretty.pair pp pp);
  let res = inter s t in
    Trace.exit "foo6" "Sign.inter" res pp;
    res