let pp fmt s =
  Pretty.string fmt "\nsl:";
  Pretty.list (Pretty.eqn Term.pp) fmt (to_list s)