-- ffi/readline.lua — GNU readline binding.
-- Phase 0: readline + add_history + free. Phase 1: custom key bindings.
-- See docs/PHASE0.md §9.

local ffi = require("ffi")

ffi.cdef[[
char *readline(const char *prompt);
void  add_history(const char *line);
void  free(void *ptr);
]]

local M = {}
-- Phase 0 stubs; wired with the REPL implementation.
return M