functor (PathOperation : PATH_SPECIFICATION) -> PATH_STRING_SPECIFICATION