package touist

  1. Overview
  2. Docs
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