1
 2
 3
 4
 5
 6
 7
 8
 9
10

//!
//! Boolean logic functions.
//!
//! Functions for testing boolean logic predicates.
//!

/// Test logical implication `x` => `y`.
pub fn implies(x: bool, y: bool) -> bool {
  (!x) || y
}