Type Alias Constraints 

pub type Constraints = SmallVec<[usize; 5]>;

Constraint set for existentially quantified variables in a learned clause.

Aliased Type

pub struct Constraints { /* private fields */ }