fn visit_program_clause(
        &mut self,
        clause: &ProgramClause<I>,
        outer_binder: DebruijnIndex,
    ) -> Self::Result {
        clause.super_visit_with(self.as_dyn(), outer_binder)
    }
/// Invoked for every program clause. By default, recursively visits the goals contents.
Invoked for every program clause. By default, recursively visits the goals contents.
Invoked for every program clause . By default recursively visits the goals contents .
fn visit_program_clause(
        &mut self,
        clause: &ProgramClause<I>,
        outer_binder: DebruijnIndex,
    ) -> Self::Result {
        clause.super_visit_with(self.as_dyn(), outer_binder)
    }
fn visit_program_clause ( & mut self , clause : & ProgramClause < I > , outer_binder : DebruijnIndex , ) -> Self :: Result { clause . super_visit_with ( self . as_dyn ( ) , outer_binder ) }
Invoked for every program clause.
Invoked for every program clause .
&mut self
clause
&ProgramClause<I>
outer_binder
DebruijnIndex