package libabsolute

  1. Overview
  2. Docs

This module implements a 3-valued logic

type t =
  1. | False
  2. | True
  3. | Unknown

the type of truth values

val and_ : t -> t -> t

Conjunction

val or_ : t -> t -> t

Disjunction

val not_ : t -> t

Negation

val of_bool : bool -> t

boolean constructor