Type Alias Qu 

pub type Qu<A> = Qubit<S<Z>, A>;

The qubit proposition ~a.

Aliased Type

pub struct Qu<A>(/* private fields */);

Trait Implementations

impl<A: DProp> Decidable for Qu<A>

fn decide() -> ExcM<Qu<A>>

Get excluded middle rule.

impl<A, B> POrd<Qubit<S<Z>, B>> for Qu<A>

where A: POrd<B>,