selArg :: T.Argument 'T.Optional (ExpressionSelector F V)
selArg = RS.selectorArg
  `T.withName` "onSelection"
  `T.withHelp`
    [ "Determines which rules to select."
    , "Per default all dependency pairs are selected for knowledge propagation." ]
  `T.optional` (RS.selAllOf RS.selDPs)
selArg :: T.Argument 'T.Optional (ExpressionSelector F V)
selArg = RS.selectorArg
  `T.withName` "onSelection"
  `T.withHelp`
    [ "Determines which rules to select."
    , "Per default all dependency pairs are selected for knowledge propagation." ]
  `T.optional` (RS.selAllOf RS.selDPs)
selArg = RS.selectorArg
  `T.withName` "onSelection"
  `T.withHelp`
    [ "Determines which rules to select."
    , "Per default all dependency pairs are selected for knowledge propagation." ]
  `T.optional` (RS.selAllOf RS.selDPs)