pub fn mk_join_opt_bool(
        &self,
        oper: ast::Operation,
        arg1: Option<Exp>,
        arg2: Option<Exp>,
    ) -> Option<Exp> {
        match (arg1, arg2) {
            (Some(a1), Some(a2)) => Some(self.mk_bool_call(oper, vec![a1, a2])),
            (Some(a1), None) => Some(a1),
            (None, Some(a2)) => Some(a2),
            _ => None,
        }
    }
/// Join two boolean optional expression with binary operator.
Join two boolean optional expression with binary operator.
Join two boolean optional expression with binary operator .
pub fn mk_join_opt_bool(
        &self,
        oper: ast::Operation,
        arg1: Option<Exp>,
        arg2: Option<Exp>,
    ) -> Option<Exp> {
        match (arg1, arg2) {
            (Some(a1), Some(a2)) => Some(self.mk_bool_call(oper, vec![a1, a2])),
            (Some(a1), None) => Some(a1),
            (None, Some(a2)) => Some(a2),
            _ => None,
        }
    }
pub fn mk_join_opt_bool ( & self , oper : ast :: Operation , arg1 : Option < Exp > , arg2 : Option < Exp > , ) -> Option < Exp > { match ( arg1 , arg2 ) { ( Some ( a1 ) , Some ( a2 ) ) => Some ( self . mk_bool_call ( oper , vec ! [ a1 a2 ] ) ) , ( Some ( a1 ) , None ) => Some ( a1 ) , ( None , Some ( a2 ) ) => Some ( a2 ) , _ => None , } }
Join two boolean optional expression with binary operator.
Join two boolean optional expression with binary operator .
&self
oper
ast::Operation
arg1
Option<Exp>
arg2
Option<Exp>