Skip to main content

plotkin_bound_ty

oxilean_std::coding_theory::functions

Function plotkin_bound_ty 

Source 
pub fn plotkin_bound_ty() -> Expr
Expand description

PlotkinBound : Nat → Nat → Nat → Prop — Plotkin bound on max codewords.