sig
  type t
  val pp : Solution.EXT.t Pretty.printer
  val empty : Solution.EXT.t
  val update : Solution.EXT.t -> Fact.Equal.t -> Solution.EXT.t
  val restrict : Solution.EXT.t -> Fact.Equal.t -> Solution.EXT.t
end