diff --git a/lua/lean/abbreviations.lua b/lua/lean/abbreviations.lua index 9fab1016..8c1b10df 100644 --- a/lua/lean/abbreviations.lua +++ b/lua/lean/abbreviations.lua @@ -9,6 +9,7 @@ local abbreviations = {} local _MEMOIZED = nil ---Load the Lean abbreviations as a Lua table. +---@return { [string]: string } abbreviations function abbreviations.load() if _MEMOIZED ~= nil then return _MEMOIZED