Function json_pointer operator/

extern/json/json.hpp:13842–13846

@brief create a new JSON pointer by appending the right JSON pointer at the end of the left JSON pointer @sa https://json.nlohmann.me/api/json_pointer/operator_slash/

    /// @brief create a new JSON pointer by appending the right JSON pointer at the end of the left JSON pointer
    /// @sa https://json.nlohmann.me/api/json_pointer/operator_slash/
    friend json_pointer operator/(const json_pointer& lhs,
                                  const json_pointer& rhs)
    {
        return json_pointer(lhs) /= rhs;
    }

    /// @brief create a new JSON pointer by appending the unescaped token at the end of the JSON pointer
    /// @sa https://json.nlohmann.me/api/json_pointer/operator_slash/