Add member types for basic_file

Author: bugdea1er

include/tmp/file

@@ -64,6 +64,12 @@ extern "C++" int get_native_handle(std::FILE* file) noexcept;
 template<class charT, class traits = std::char_traits<charT>>
 class basic_file : public std::basic_iostream<charT, traits> {
 public:
+  using char_type = charT;
+  using int_type = typename traits::int_type;
+  using pos_type = typename traits::pos_type;
+  using off_type = typename traits::off_type;
+  using traits_type = traits;
+
   /// Implementation-defined handle type to the file
   using native_handle_type =
       std::invoke_result_t<decltype(detail::get_native_handle), std::FILE*>;