Type Alias Constraints 

pub type Constraints = Arc<[usize]>;

Constraint set for existentially quantified variables in a learned clause.

Aliased Type

pub struct Constraints { /* private fields */ }