Skip to main content

rev_normalize

prop::qubit

Function rev_normalize 

Source 
pub fn rev_normalize<A: Prop, N: Nat>(
    x: Qubit<S<N>, A>,
) -> Qubit<S<Z>, Qubit<N, A>>
Expand description

qubit^(n+1)(a) => ~qubit^n(a).