languages.rocq #methods #M.packages #function M.packages() -> ("whonore/Coqtail") M.load #function M.load() -> nil fields #M.default_config #M.default_config: { coqtail: { nomap = 1, noimap = 1, }, binds: table, }