Skip to main content

expander_code_ty

Function expander_code_ty 

Source
pub fn expander_code_ty() -> Expr
Expand description

ExpanderCode : Nat → Nat → Type — code based on bipartite expander graph.