pub fn fountain_code_ty() -> Expr
FountainCode : Nat → Type — rateless erasure code (e.g., Luby Transform).
FountainCode : Nat → Type