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