sig
  type t = { valuation : (Name.t * bool) list; literals : Atom.t list; } 
  val pp : Format.formatter -> Prop.Assignment.t -> unit
end