enum NoRemainingSubgoalsResult {
RootAnswerAvailable,
RootSearchFail(RootSearchFail),
Success,
}
Expand description
This is returned on_no_remaining_subgoals
Variants§
RootAnswerAvailable
There is an answer available for the root table
RootSearchFail(RootSearchFail)
There was a RootSearchFail
Success
Auto Trait Implementations§
impl Freeze for NoRemainingSubgoalsResult
impl RefUnwindSafe for NoRemainingSubgoalsResult
impl Send for NoRemainingSubgoalsResult
impl Sync for NoRemainingSubgoalsResult
impl Unpin for NoRemainingSubgoalsResult
impl UnwindSafe for NoRemainingSubgoalsResult
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more