Characteristic predicate Base::ArgumentRefinement::ArgumentRefinement

ArgumentRefinement()