Hardcaml_verify_kernel.Sat
type 'model t =
| Sat of 'model
| Unsat
val sexp_of_t : ( 'model -> Sexplib0.Sexp.t ) -> 'model t -> Sexplib0.Sexp.t