package sattools

  1. Overview
  2. Docs
exception Invalid_lbool_int_value of int
type t = [
  1. | `f
  2. | `t
  3. | `u
]
val to_string : t -> string
val of_int : int -> t