%% 
%% Search data file for jinterface 1.13.2
%% generated January 14, 2026
%% 
{"jinterface.html", {function, {"jinterface", "jinterface"}},
[
]}.
{"jinterface.html", {module, "jinterface"}, ["jinterface"]}.
{notused, application, ["jinterface"]}.
