sig
  type t = { valuation : (Name.t * bool) list; literals : Atom.Set.t; } 
  val pp : Prop.Assignment.t Pretty.printer
end