hax_lib::prop::constructors

Function from_bool

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