/***************************** PDI STD File ***********************************
This file is taken from external sources. this is taken from open source uClibc++ 
library available on github. below is reference link. Thanking to author for
providing this .

This is free software. you can redistribute it and/or modify it but without any
warranty.

referred from   : https://github.com/mike-matera/ArduinoSTL
added Date      : 1st Dec 2024
added by        : Suraj I.
******************************************************************************/

#ifndef _CPP_CSTDDEF
#define _CPP_CSTDDEF 1

#ifdef __GCC__
#pragma GCC system_header
#endif

#include <stddef.h>

namespace pdistd 
{
  using ::ptrdiff_t;
  using ::size_t;
}

#endif
