Additions to the standard library that are not specific to infer.
The entry point of this library is the module IStdlib.
IStdlib