You are an expert in writing code in many different languages. Your goal is to perform code completion for the following code, keeping in mind the rest of the code and the file meta data.
    Metadata details:
    filename: mod.rs
    path of file: ./repos/rspc/src/internal
    
    the code of the file until where you have to start completion: //! Internal types which power rspc. The module provides no guarantee of compatibility between updates, so you should be careful relying on types from it.
//!
//! WARNING: Anything in this module or submodules does not follow semantic versioning as it's considered an implementation detail.
//!

pub mod middleware;
pub mod procedure;
pub mod procedure_store;
pub mod resolver;

// TODO: Fix this
// #[cfg(test)]
// mod tests {
//     use std::{fs::File, io::Write, path::PathBuf};

//     use specta::{ts::export_named_d
    
//     fn export_internal_types() {
//         let mut file = File::create(
//             PathBuf::from(env!("CARGO_MANIFEST_DIR")).join("./packages/client/src/bindings.ts"),
//         )
//         .unwrap();

//         file.write_all(
//             b"// DO NOT MODIFY. This file was generated by Specta and is used to keep rspc internally type safe.\n// Checkout the unit test 'export_internal_types' to see where this files comes from!",
//         )
//         .unwrap();

//         let tys = collect_datatypes![
//             rspc_core::internal::ProceduresDef,
//             // crate::Procedures, // TODO
//             exec::Request,
//             exec::Response,
//         ];

//         for (_, ty) in tys
//             .iter()
//             .filter_map(|(sid, v)| v.as_ref().map(|v| (sid, v)))
//         {
//             file.write_all(b"\n\n").unwrap();
//             file.write_all(
//                 export_named_datatype(&Default::default(), &ty, &tys)
//                     .unwrap()
//                     .as_bytes(),
//             )
//             .unwrap();
//         }
//     }