Module logic_value

Expand description

Trait for logic values and implementations thereof.

Enums§

Bool: Custom implementation of a boolean value.
Logic3: Three-valued logic. In contrast to bivalent logic values such as bool this logic type also encodes the unknown value X.