Skip to main content

linear_code_ty

oxilean_std::coding_theory::functions

Function linear_code_ty 

Source 
pub fn linear_code_ty() -> Expr
Expand description

LinearCode : Nat → Nat → Nat → Type — an (n, k, d) linear code.