Function mini_kanren::goals::combinators::conj2

pub fn conj2(
    g1: impl Goal<StatSubs>, 
    g2: impl 'static + Goal<StatSubs>
) -> impl Goal<StatSubs>

Creates a goal that succeeds if both of its subgoals succeed.