Function space_time_code_ty 

pub fn space_time_code_ty() -> Expr

SpaceTimeCode : Nat → Nat → Nat → Type — space-time block code with n_t transmit antennas, n_r receive antennas, rate R.