Skip to main content

mk_and

oxilean_kernel::expr::functions

Function mk_and 

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

Build And a b: logical conjunction.