pub fn mk_join_bool(
        &self,
        oper: ast::Operation,
        args: impl Iterator<Item = Exp>,
    ) -> Option<Exp> {
        args.fold1(|a, b| self.mk_bool_call(oper.clone(), vec![a, b]))
    }
/// Join an iterator of boolean expressions with a boolean binary operator.
Join an iterator of boolean expressions with a boolean binary operator.
Join an iterator of boolean expressions with a boolean binary operator .
pub fn mk_join_bool(
        &self,
        oper: ast::Operation,
        args: impl Iterator<Item = Exp>,
    ) -> Option<Exp> {
        args.fold1(|a, b| self.mk_bool_call(oper.clone(), vec![a, b]))
    }
pub fn mk_join_bool ( & self , oper : ast :: Operation , args : impl Iterator < Item = Exp > , ) -> Option < Exp > { args . fold1 ( | a , b | self . mk_bool_call ( oper . clone ( ) , vec ! [ a b ] ) ) }
Join an iterator of boolean expressions with a boolean binary operator.
Join an iterator of boolean expressions with a boolean binary operator .
&self
oper
ast::Operation
args
impl Iterator<Item = Exp>