vstd::prelude

Function imply

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