The tern file is generated using https://github.com/espruino/Espruino/blob/master/scripts/build_tern_json.js
However those scripts may (will) change in the future, but the format of the Tern file will stay the same :)
@Gordon started
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
The tern file is generated using https://github.com/espruino/Espruino/blob/master/scripts/build_tern_json.js
However those scripts may (will) change in the future, but the format of the Tern file will stay the same :)