vstd
In vstd::
prelude
vstd
::
prelude
Function
imply
Copy item path
pub fn imply(_b1:
bool
, _b2:
bool
) ->
bool