Or

taco_model_checker::reachability_specification

Trait Or 

Source 
trait Or {
    // Required method
    fn or(self, other: Self) -> Self;
}
Expand description

Trait for oring two constraints

Required Methods§

Source

fn or(self, other: Self) -> Self

Get the disjunction of self and other

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§