Skip to main content

mk_or

Function mk_or 

Source
pub fn mk_or(a: Expr, b: Expr) -> Expr
Expand description

Build Or a b: logical disjunction.