pub fn dense_coding_protocol_ty() -> Expr
DenseCodingProtocol : Prop Super-dense coding: using one shared Bell pair, Alice can send 2 classical bits to Bob using only a single qubit transmission.
DenseCodingProtocol : Prop