Implication operator

infix operator --> { associativity left precedence 160 }

/// True if and only if lhs implies rhs.
/// False if lhs is true and rhs false, true otherwise.
func -->(lhs: Bool, rhs: Bool) -> Bool {
    return !lhs || rhs
}