type t
= (Minisat.Lit.t * Minisat.value) list
val dump : (Minisat.Lit.t * Minisat.value) list ‑> string
val pprint : ?sep:string ‑> ('a, string) Hashtbl.t ‑> ('a * Minisat.value) list ‑> string