Function fpt_algorithm_ty 

pub fn fpt_algorithm_ty() -> Expr

FPTAlgorithm : ParameterizedProblem → Type An algorithm running in f(k)·n^c time for some computable f and constant c.