hax_lib::prop::constructors

Function and

Source 
pub fn and(lhs: Prop, other: Prop) -> Prop