Module Boolean

module Boolean: sig  end

Propositional logic
Author(s): Harald Ruess

Propositional is just defined in terms of bitwise operations on bitvectors of width 1. This module provides the corresponding definitions.

val mk_true : unit -> Term.t

Parameters:

() : unit

val mk_false : unit -> Term.t

Parameters:

() : unit

val is_true : Term.t -> bool

Parameters:

a : Term.t

val is_false : Term.t -> bool

Parameters:

a : Term.t