hax_lib::prop::constructors

Function or

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