Function imply 

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