{
  "procedures": [
    {
      "name": "glfwInit",
      "inputs": [],
      "outputs": [["result","int"]],
      "desc": "Initializes the GLFW library for window and input management."
    },
    {
      "name": "glfwCreateWindow",
      "inputs": [["width","int"],["height","int"],["title","string"]],
      "outputs": [["window","int"]],
      "desc": "Creates a window with the specified dimensions and title."
    },
    {
      "name": "glfwMakeContextCurrent",
      "inputs": [["window","int"]],
      "outputs": [],
      "desc": "Sets the OpenGL context of the given window as current."
    },
    {
      "name": "glfwSwapBuffers",
      "inputs": [["window","int"]],
      "outputs": [],
      "desc": "Swaps the front and back buffers of the window."
    },
    {
      "name": "glfwPollEvents",
      "inputs": [],
      "outputs": [],
      "desc": "Processes pending window events (keyboard, mouse, etc.)."
    },
    {
      "name": "glfwWindowShouldClose",
      "inputs": [["window","int"]],
      "outputs": [["result","int"]],
      "desc": "Checks if the window close button has been pressed."
    },
    {
      "name": "glfwTerminate",
      "inputs": [],
      "outputs": [],
      "desc": "Cleans up GLFW resources and terminates the library."
    }
  ]
}