Function or_join 

pub fn or_join<B, C>(
    vars: Vec<Var>,
    branches: impl IntoIterator<Item = B>,
) -> Clause
where
    B: IntoIterator<Item = C>,
    C: Into<Clause>,

An (or-join [vars] branches...) clause.