Searched defs:into_well_formed_goal (Results 1 – 3 of 3) sorted by relevance
1928 pub fn into_well_formed_goal(self, interner: I) -> DomainGoal<I> { in into_well_formed_goal() method1959 pub fn into_well_formed_goal(self, interner: I) -> Binders<DomainGoal<I>> { in into_well_formed_goal() method
1951 pub fn into_well_formed_goal(self, interner: &I) -> DomainGoal<I> { in into_well_formed_goal() method1982 pub fn into_well_formed_goal(self, interner: &I) -> Binders<DomainGoal<I>> { in into_well_formed_goal() method
1928 pub fn into_well_formed_goal(self, interner: &I) -> DomainGoal<I> { in into_well_formed_goal() method1959 pub fn into_well_formed_goal(self, interner: &I) -> Binders<DomainGoal<I>> { in into_well_formed_goal() method