Struct cop::lean::context::Context

pub struct Context<T> {
    pub path: T,
    pub lemmas: T,
}

Path and lemmas.

Fields

path: T

literals that we currently attempt to solve

lemmas: T

literals that we have already solved, assuming the path

Trait Implementations

impl<T: Clone> Clone for Context<T>

fn clone(&self) -> Context<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Default> Default for Context<T>

fn default() -> Context<T>

Returns the “default value” for a type.

impl<T> From<&Context<Vec<T, Global>>> for Ptr

fn from(ctx: &Context<Vec<T>>) -> Self

Converts to this type from the input type.

impl<T: Rewind<R>, R> Rewind<Context<R>> for Context<T>

fn rewind(&mut self, ptr: Context<R>)

Rewind to some state.

impl<T: Copy> Copy for Context<T>