package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Ternary logic

type t =
  1. | True
  2. | False
  3. | Unknown
val of_bool : bool -> t
val to_bool : ?unknown:bool -> t -> bool

to_bool t translates a ternary value to its boolean equivalent. For Unknown the value is given by unknown and defaults to false.

Operations

include Sigs.Logical with type t := t
val logand : t -> t -> t
val logor : t -> t -> t
val lognot : t -> t