Up – OCaml package documentation » hardcaml_verify index » Library hardcaml_verify.kernel » Hardcaml_verify_kernel » Nusmv » Proof_result

Module `Nusmv.Proof_result`

type t =

| Tautology
| Exists_counter_example of Counter_example_trace.t

val sexp_of_t : t -> Sexplib0.Sexp.t