Sec.Equivalence_result
Result of a proposition check.
type t = Cnf.Model_with_vectors.input Base.list Sat.t
val sexp_of_t : t -> Sexplib0.Sexp.t