Module Make.Result

type t =
  1. | Sat
    (*

    sat

    *)
  2. | Unsat
    (*

    unsat

    *)
  3. | Unknown
    (*

    unknown

    *)

A satisfiability result.

val to_string : t -> string

to_string t get string representation of this result.

  • returns

    String representation of this result.