trait ResponseT<I: Interner> {
    // Required method
    fn var_values(&self) -> CanonicalVarValues<I>;
}

Required Methods§

Implementors§

source§

impl<I: Interner> ResponseT<I> for Response<I>

source§

impl<I: Interner, T> ResponseT<I> for State<I, T>