Type Alias Solution 

pub type Solution<D> = Vec<<D as Domain>::Value>;

Solution type: a vector of values indexed by variable ID.

Aliased Type

pub struct Solution<D> { /* private fields */ }