predecessorEstimationCPDeclaration :: T.Declaration (
  '[ T.Argument 'T.Optional (ExpressionSelector F V)
   , T.Argument 'T.Required ComplexityPair ]
   T.:-> TrsStrategy )
predecessorEstimationCPDeclaration =
  T.declare "predecessorEstimationCP" description (selArg, CP.complexityPairArg) predecessorEstimationCPStrategy
predecessorEstimationCPDeclaration :: T.Declaration (
  '[ T.Argument 'T.Optional (ExpressionSelector F V)
   , T.Argument 'T.Required ComplexityPair ]
   T.:-> TrsStrategy )
predecessorEstimationCPDeclaration =
  T.declare "predecessorEstimationCP" description (selArg, CP.complexityPairArg) predecessorEstimationCPStrategy
predecessorEstimationCPDeclaration =
  T.declare "predecessorEstimationCP" description (selArg, CP.complexityPairArg) predecessorEstimationCPStrategy