Type Alias Conjunction 

pub type Conjunction = Vec<Constraint>;

A conjunction of constraints: true if all are true.

Aliased Type

pub struct Conjunction { /* private fields */ }