functor (PathOperation : PATH_SPECIFICATION-> PATH_STRING_SPECIFICATION