pub fn binary_goppa_code_ty() -> Expr
BinaryGoppaCode : Nat → Nat → Nat → Type
A binary Goppa code with parameters (n, k, t): length n, dimension k, capable of correcting t errors. The hidden code structure is used in McEliece.