sig
  type ternary
  val truth : Ternary.ternary
  val unknown : Ternary.ternary
  val falsity : Ternary.ternary
  val ternary_of_bool : bool -> Ternary.ternary
  val bool_of_ternary : Ternary.ternary -> bool
  val negation : Ternary.ternary -> Ternary.ternary
  val conjunction : Ternary.ternary -> Ternary.ternary -> Ternary.ternary
  val disjunction : Ternary.ternary -> Ternary.ternary -> Ternary.ternary
end

---

Hosted by the ^* web site.
^*Other names and brands may be claimed as the property of others.