Skip to main content

## ResponseT

# Trait ResponseT

Source

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

## Required Methods§

Source

#### fn var_values(&self) -> CanonicalVarValues<I>

## Implementors§

Source§

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

Source§

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