Interfaces for the Inria Base Library's thread modules.
