pub fn into_program_clause(self) -> ProgramClause {
        ProgramClause {
            implication: Binders {
                value: ProgramClauseImplication {
                    consequence: self,
                    conditions: vec![],
                },
                binders: vec![],
            },
            fallback_clause: false,
        }
    }
/// Lift a goal to a corresponding program clause (with a trivial
/// antecedent).
Lift a goal to a corresponding program clause (with a trivial
antecedent).
Lift a goal to a corresponding program clause ( with a trivial antecedent ) .
pub fn into_program_clause(self) -> ProgramClause {
        ProgramClause {
            implication: Binders {
                value: ProgramClauseImplication {
                    consequence: self,
                    conditions: vec![],
                },
                binders: vec![],
            },
            fallback_clause: false,
        }
    }
pub fn into_program_clause ( self ) -> ProgramClause { ProgramClause { implication : Binders { value : ProgramClauseImplication { consequence : self , conditions : vec ! [ ] , } , binders : vec ! [ ] , } , fallback_clause : false , } }
Lift a goal to a corresponding program clause (with a trivial
antecedent).
Lift a goal to a corresponding program clause ( with a trivial antecedent ) .
self