pub fn implies(a: bool, b: bool) -> bool
Implication between two boolean values.
Implication is often phrased as 'if a then b.'
'if a then b' is equivalent to !a || b.
rusti> std::bool::implies(true, true)
true
rusti> std::bool::implies(true, false)
false
Prefix searches with a type followed by a colon (e.g.
fn:) to restrict the search to a given type.
Accepted types are: fn, mod,
struct (or str), enum,
trait, typedef (or
tdef).