Skip to main content

expander_code_linear_time_decoding_ty

oxilean_std::coding_theory::functions

Function expander_code_linear_time_decoding_ty 

Source 
pub fn expander_code_linear_time_decoding_ty() -> Expr
Expand description

ExpanderCodeLinearTimeDecoding : Nat → Nat → Prop — expander codes admit linear-time decoding algorithms.