pub fn ldpc_code_ty() -> Expr
LDPCCode : Nat → Nat → Type — LDPC code defined by sparse parity-check matrix.
LDPCCode : Nat → Nat → Type