Type Alias PropResult 

pub type PropResult = Option<usize>;

Outcome of a propagation step: Some(ci) on wipe-out (constraint ci is to blame), None on success.

Aliased Type

pub enum PropResult {
    None,
    Some(usize),
}

Variants

None

No value.

Some(usize)

Some value of type T.