from_bool

hax_lib::prop::constructors

Function from_bool 

Source 
pub const fn from_bool(b: bool) -> Prop