pub fn expander_code_ty() -> Expr
ExpanderCode : Nat → Nat → Type — code based on bipartite expander graph.
ExpanderCode : Nat → Nat → Type