Function vstd::prelude::imply

pub fn imply(_b1: bool, _b2: bool) -> bool