The way the system is set up (according to the paper), all functions appear as bytecode, i.e., the only stdlib functions added are those that are actually used.

The way the system is set up (according to the paper), all functions appear as bytecode, i.e., the only stdlib functions added are those that are actually used. Probably not a big deal in most cases, but it sounds like a major bonus for embedded systems. For hedgehog, most of the system is only present at compile-time, under the assumption that it can do heavy compilation but will run on a weak system. Also, thanks for all your blogging / commenting / etc. about OCaml over the years! Learned a ton. I'll buy you coffee or a pint if we ever cross paths.