This module defines the table of all functions callable from JS. it's required by the interpreter; we make use of the opportunity to document them all in one spot. we thus obviate having to dig through all the other headers. most of the functions are implemented here; as for the rest, we only link to their docs (duplication is bad). Since these functions are called by JS code, we give script syntax, not that of the native implementation (if you are adding a function, simply copy the signature of another function).