Function regenerating_code_ty 

pub fn regenerating_code_ty() -> Expr

RegeneratingCode : Nat → Nat → Nat → Nat → Type — (n, k, d, β) regenerating code for distributed storage.